diff --git a/util/build-travis.sh b/util/build-travis.sh index 1a6ad6d2..9ea23e88 100755 --- a/util/build-travis.sh +++ b/util/build-travis.sh @@ -1,5 +1,21 @@ #!/bin/bash +# Give other users access to /root +# (We probably should have just built the build tools somewhere else...) +chmod o+x /root + +# Who owns this directory? +NEWUID=`stat -c '%u' .` + +# Create a fake user with this name +useradd -u $NEWUID local + +# Map the build tools ln -s /root/gcc_local util/local -make -j4 +# Run make as local +runuser -u local -- make -j4 + +# Remove the build tools +rm util/local +