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