diff options
Diffstat (limited to 'tools/ci/scripts')
| -rwxr-xr-x | tools/ci/scripts/deheader.sh | 21 |
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} |