diff options
| -rwxr-xr-x | tools/ci/scripts/init.sh | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index c82d248d9..d71f99b4e 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -221,8 +221,16 @@ function run_check_warnings { function run_h { rm $ERRFILE - echo "$CC -c -x c++ $* $includes */*/*/*/*.h */*/*/*.h */*/*.h */*.h *.h" - $CC -c -x c++ $* $includes */*/*/*/*.h */*/*/*.h */*/*.h */*.h *.h 2>$ERRFILE + echo "$CC -c -x c++ $* $includes */*/*/*/*.h" + $CC -c -x c++ $* $includes */*/*/*/*.h 2>$ERRFILE + echo "$CC -c -x c++ $* $includes */*/*/*.h" + $CC -c -x c++ $* $includes */*/*/*.h 2>>$ERRFILE + echo "$CC -c -x c++ $* $includes */*/*.h" + $CC -c -x c++ $* $includes */*/*.h 2>>$ERRFILE + echo "$CC -c -x c++ $* $includes */*.h" + $CC -c -x c++ $* $includes */*.h 2>>$ERRFILE + echo "$CC -c -x c++ $* $includes *.h" + $CC -c -x c++ $* $includes *.h 2>>$ERRFILE DATA=$(cat $ERRFILE) if [ "$DATA" != "" ]; then |