diff options
Diffstat (limited to 'tools/test_scripts')
-rwxr-xr-x | tools/test_scripts/testheaders.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/test_scripts/testheaders.sh b/tools/test_scripts/testheaders.sh index b6de3976..150ada4e 100755 --- a/tools/test_scripts/testheaders.sh +++ b/tools/test_scripts/testheaders.sh @@ -75,11 +75,11 @@ do for headerfile in $i/${i}mm/*.h do echo "=== $headerfile" - g++ -c -x c++ -o /dev/null $headerfile $CFLAGS + g++ -c -x c++ -std=c++11 -o /dev/null $headerfile $CFLAGS done else echo "=== $i" - g++ -c -x c++ -o /dev/null $i $CFLAGS + g++ -c -x c++ -std=c++11 -o /dev/null $i $CFLAGS fi done |