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'])