summaryrefslogtreecommitdiff
path: root/tools/ci
diff options
context:
space:
mode:
Diffstat (limited to 'tools/ci')
-rwxr-xr-xtools/ci/jobs/gcc5_h.sh2
-rwxr-xr-xtools/ci/jobs/gcc5_h_pugi.sh2
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 $*