From eb7bc95c02cbd549ce30119fff4a72b9e979a2af Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 8 Dec 2017 17:27:25 +0100 Subject: [PATCH] Fixed typo in travis script --- travis/build-helper.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/travis/build-helper.sh b/travis/build-helper.sh index a6d0812..cfbdda2 100755 --- a/travis/build-helper.sh +++ b/travis/build-helper.sh @@ -23,7 +23,7 @@ run() { cd pycarl case "$CONFIG" in Debug*) - python setup.py build_ext --develop -j 1 develop + python setup.py build_ext --debug -j 1 develop ;; *) python setup.py build_ext -j 1 develop @@ -36,7 +36,7 @@ run() { travis_fold start build_stormpy case "$CONFIG" in Debug*) - python setup.py build_ext --develop -j 1 develop + python setup.py build_ext --debug -j 1 develop ;; *) python setup.py build_ext -j 1 develop