Browse Source

do --check-all in check_source.sh

Karel Miko 7 years ago
parent
commit
41341195c5
1 changed files with 1 additions and 1 deletions
  1. 1 1
      .ci/check_source.sh

+ 1 - 1
.ci/check_source.sh

@@ -6,7 +6,7 @@ bash .ci/printinfo.sh
 make clean > /dev/null
 make clean > /dev/null
 
 
 echo "checking..."
 echo "checking..."
-./helper.pl --check-source --check-makefiles --check-defines|| exit 1
+./helper.pl --check-all || exit 1
 
 
 exit 0
 exit 0