diff options
Diffstat (limited to 'tools/ci/jobs/gcc5_h_pugi.sh')
| -rwxr-xr-x | tools/ci/jobs/gcc5_h_pugi.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 $* |