diff options
Diffstat (limited to 'tools/ci/jobs/gccsnapshot_sdl2.sh')
| -rwxr-xr-x | tools/ci/jobs/gccsnapshot_sdl2.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/ci/jobs/gccsnapshot_sdl2.sh b/tools/ci/jobs/gccsnapshot_sdl2.sh index 6a5cc68bb..82ad35c5b 100755 --- a/tools/ci/jobs/gccsnapshot_sdl2.sh +++ b/tools/ci/jobs/gccsnapshot_sdl2.sh @@ -10,6 +10,10 @@ if [ "$NEWCXX" != "" ]; then export CXX="$NEWCXX" fi +if [ "$FLAGS" == "" ]; then + export FLAGS="gccsnapshot.sh" +fi + export LOGFILE=gcc-snapshot.log export PATH=/usr/lib/gcc-snapshot/bin:$PATH @@ -20,7 +24,7 @@ export CXXFLAGS="$CXXFLAGS -pedantic -ggdb3 -O2 -pipe -Wstrict-aliasing=2 \ -std=gnu++1z -Wformat=1 \ -Wno-attributes -fno-omit-frame-pointer" -source ./tools/ci/flags/gccsnapshot.sh +source ./tools/ci/flags/${FLAGS} export CXXFLAGS="$CXXFLAGS $POST_CXXFLAGS" |