diff options
Diffstat (limited to 'tools/ci/jobs/gccsnapshot.sh')
-rwxr-xr-x | tools/ci/jobs/gccsnapshot.sh | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/tools/ci/jobs/gccsnapshot.sh b/tools/ci/jobs/gccsnapshot.sh index 2709f38..5e49d3e 100755 --- a/tools/ci/jobs/gccsnapshot.sh +++ b/tools/ci/jobs/gccsnapshot.sh @@ -18,16 +18,4 @@ build_init # look like in gcc snapshot bug in this flag export CFLAGS="-Wno-restrict" run_configure $* - -# This build is broken, so I've commented below -#run_make - -# And put this -echo "make -j2 V=0 $*" -make -j2 V=0 $* -if [ "$1" != 0 ]; then - echo "error $1" - echo "=== THE ERROR HAS BEEN IGNORED ===" - echo "===== FIXME PLEASE =====" -fi -exit 0 # Success! (For GitLab, anyway) +run_make |