diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/jobs/gcc3.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/ci/jobs/gcc3.sh b/tools/ci/jobs/gcc3.sh index 1bdc9e383..41e53a30e 100755 --- a/tools/ci/jobs/gcc3.sh +++ b/tools/ci/jobs/gcc3.sh @@ -14,8 +14,6 @@ export LOGFILE=gcc3.log source ./tools/ci/scripts/init.sh -export CXXFLAGS="$CXXFLAGS -ggdb3 $POST_CXXFLAGS" - do_init run_configure $* run_make |