diff options
| author | gumi <git@gumi.ca> | 2020-07-15 20:46:14 -0400 |
|---|---|---|
| committer | gumi <git@gumi.ca> | 2020-07-15 20:46:22 -0400 |
| commit | a6e40c184f9f64717eda38178310ec5328f5251b (patch) | |
| tree | e75260c237cb494d7c889c5237d3a5b08a153cd2 /tools | |
| parent | 3a886cf674fbaf971620538ae2365b317db1a257 (diff) | |
| download | evol-hercules-a6e40c184f9f64717eda38178310ec5328f5251b.tar.gz evol-hercules-a6e40c184f9f64717eda38178310ec5328f5251b.tar.bz2 evol-hercules-a6e40c184f9f64717eda38178310ec5328f5251b.tar.xz evol-hercules-a6e40c184f9f64717eda38178310ec5328f5251b.zip | |
Revert "SHUT UP AND DO NOT BOTHER ME"
This reverts commit 19d651f235973dc6bbab9489aeda6da39adad86b.
Diffstat (limited to 'tools')
| -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 |