diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/jobs/gcc5_h.sh | 2 | ||||
| -rwxr-xr-x | tools/ci/jobs/gcc5_h_pugi.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/ci/jobs/gcc5_h.sh b/tools/ci/jobs/gcc5_h.sh index 6a52f3fd4..de392c73e 100755 --- a/tools/ci/jobs/gcc5_h.sh +++ b/tools/ci/jobs/gcc5_h.sh @@ -18,7 +18,7 @@ do_init cd src export dir=$(pwd) -export includes="-I$dir -I/usr/include -I/usr/include/SDL -I/usr/include/libxml2" +export includes="-I$dir -I/usr/include -I/usr/include/libxml2" run_h $* diff --git a/tools/ci/jobs/gcc5_h_pugi.sh b/tools/ci/jobs/gcc5_h_pugi.sh index 6a52f3fd4..de392c73e 100755 --- a/tools/ci/jobs/gcc5_h_pugi.sh +++ b/tools/ci/jobs/gcc5_h_pugi.sh @@ -18,7 +18,7 @@ do_init cd src export dir=$(pwd) -export includes="-I$dir -I/usr/include -I/usr/include/SDL -I/usr/include/libxml2" +export includes="-I$dir -I/usr/include -I/usr/include/libxml2" run_h $* |