From 016af73d19180c12849d29f2ee655d07ec937d80 Mon Sep 17 00:00:00 2001 From: Mario Werner Date: Sun, 7 Feb 2016 18:47:39 +0100 Subject: [PATCH] fixed typo in script --- support/travis-build.py | 2 -- 1 file changed, 2 deletions(-) diff --git a/support/travis-build.py b/support/travis-build.py index 8888198b..65632a6e 100755 --- a/support/travis-build.py +++ b/support/travis-build.py @@ -100,8 +100,6 @@ else: '-DFMT_DOC=OFF', '-DFMT_PEDANTIC=ON', srcDir]) -else: - # build library check_call(['make', '-j4'])