Commit 4c5a77b6bc269ecf13996237139c910b9dc35577
Remove unused part of scripts/appveyor/nix/build
$COLLECT_COVERAGE was used for coveralls-related jobs, which didn't work
with AppVeyor and got dropped.
Author: xaizek
Author date (UTC): 2026-05-16 13:51
Committer name: xaizek
Committer date (UTC): 2026-05-16 13:51
Parent(s): 012ffba160902de1ad94f90474fdc1ba15311a6d
Signing key: 99DC5E4DB05F6BE2
Tree: 65dad3d3ab96c7e65a91facf2deee913f6fa3923
| File scripts/appveyor/nix/build changed (mode: 100755) (index e3f015e61..a72f17f03) |
| 2 |
2 |
|
|
| 3 |
3 |
set -xe |
set -xe |
| 4 |
4 |
|
|
| 5 |
|
if [ "$COLLECT_COVERAGE" = yes ]; then |
|
| 6 |
|
CONFIGURE_EXTRA="$CONFIGURE_EXTRA --enable-coverage" |
|
| 7 |
|
fi |
|
| 8 |
|
|
|
| 9 |
5 |
scripts/fix-timestamps fast |
scripts/fix-timestamps fast |
| 10 |
6 |
./configure --config-cache --disable-dependency-tracking $CONFIGURE_EXTRA |
./configure --config-cache --disable-dependency-tracking $CONFIGURE_EXTRA |
| 11 |
7 |
make |
make |