Build script:

* Explicitly remove build directory prior to attempting to change permissions and do the build as make might not be installed yet.
quantcast · Oct 27, 2024 · 9c835a4 · 9c835a4
1 parent cbad04c
commit 9c835a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/travis/script.sh b/travis/script.sh
@@ -326,7 +326,7 @@ set_build_type() {
 
 if [ $# -eq 5 -a x"$1" = x'build' ]; then
     set_build_type "$4"
-    make clean
+    rm -rf build
     if [ x"$MYUSER" != x ]; then
         # Create regular user to run the build and test under it.
         id -u "$MYUSER" >/dev/null 2>&1 || useradd -m "$MYUSER"