From: Martin Quinson Date: Sat, 16 Jun 2018 21:28:47 +0000 (+0200) Subject: circle: don't mess with pushd X-Git-Tag: v3.20~90 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a55c3a12307786375d06b92e0148a7a1c006a971 circle: don't mess with pushd I've no idea what pushd is, so stop pretending. --- diff --git a/.circleci/config.yml b/.circleci/config.yml index 1026943e14..b241f7f3b6 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -18,6 +18,6 @@ jobs: - run: name: Configure, build and test da stuff command: | - mkdir _build - pushd _build; cmake -Denable_documentation=OFF -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=OFF -Denable_lua=OFF -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=ON .. - pushd _build ; make -j4 && ctest -j4 --output-on-failure + mkdir _build && cd _build + cmake -Denable_documentation=OFF -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=OFF -Denable_lua=OFF -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=ON .. + make -j4 && ctest -j4 --output-on-failure