1 files changed, 21 insertions, 0 deletions
diff --git a/tools/ci/scripts/deheader.sh b/tools/ci/scripts/deheader.sh
new file mode 100755
index 000000000..4106b0308
--- /dev/null
+++ b/tools/ci/scripts/deheader.sh
@@ -0,0 +1,21 @@
+#!/bin/bash
+
+export var=$1
+export name=${var%.*}
+export name=${name#./src/}
+export name=${name##*./}.h
+export dir=$(pwd)
+
+echo $1 >>${LOGFILE}
+echo $1
+
+${dir}/deheader -q -i "\"debug.h\"" \
+-i "\"utils/checkutils.h\"" \
+-i "\"utils/sdlcheckutils.h\"" \
+-i "\"sdlshared.h\"" \
+-i "\"localconsts.h\"" \
+-i "\"utils/fuzzer.h\"" \
+-i "\"utils/physfscheckutils.h\"" \
+-i "\"$name\"" \
+-m "$CXX -c -std=gnu++1z -Werror -Wall -Wextra -Wundef -Wmissing-declarations -DLOCALEDIR=\\\"\\\" $FLAGS -I/usr/include $INCLUDES -I${dir}/src" $1 \
+| grep -v "portability requires" | tee -a ${LOGFILE}