commit de0879931ee3f9e5191b361d673e5e5d8d4dadcf
parent 45f388a05a105975cdcbeab0892a2fe78a8a4416
Author: Christian Grothoff <christian@grothoff.org>
Date: Mon, 1 Apr 2024 02:39:28 +0200
clean, but not log file
Diffstat:
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/contrib/ci/jobs/2-test/test.sh b/contrib/ci/jobs/2-test/test.sh
@@ -1,5 +1,5 @@
#!/bin/bash
-set -evu
+set -evux
apt-get update
apt-get upgrade -yqq
diff --git a/src/templating/run-original-tests.sh b/src/templating/run-original-tests.sh
@@ -7,7 +7,7 @@ export CFLAGS="-g"
function build()
{
echo "Ensuring clean state on exit ..."
- make clean
+ make clean-libLTLIBRARIES clean-libtool clean-noinstLTLIBRARIES clean-noinstPROGRAMS mostlyclean-compile mostlyclean-libtool
make
}
@@ -16,7 +16,7 @@ trap build EXIT
echo "Ensuring clean state on entry to legacy tests ..."
-make clean
+make clean-libLTLIBRARIES clean-libtool clean-noinstLTLIBRARIES clean-noinstPROGRAMS mostlyclean-compile mostlyclean-libtool
# The build fails if libjson-c-dev is not installed.
# That's OK, we don't otherwise need it and don't