diff options
Diffstat (limited to '')
-rwxr-xr-x | CIbuild.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/CIbuild.sh b/CIbuild.sh index a6a4282a7..9e2fa7edb 100755 --- a/CIbuild.sh +++ b/CIbuild.sh @@ -13,11 +13,6 @@ if [ "$CXX" == "g++" ]; then fi cmake . -DBUILD_TOOLS=1 -DSELF_TEST=1; -echo "Checking basic style..." -cd src -lua CheckBasicStyle.lua -cd .. - echo "Building..." make -j 2; make -j 2 test ARGS="-V"; |