diff --git a/bootstrap.ci b/bootstrap.ci index 162282d0..bab336c5 100755 --- a/bootstrap.ci +++ b/bootstrap.ci @@ -36,7 +36,7 @@ do done set -e -set -x + if [ -f Makefile ]; then make distclean fi