diff options
| author | Maxime Dénès | 2017-06-19 23:13:51 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-19 23:13:51 +0200 |
| commit | 42dc29090208f5da83dd71fb99f975db542fe49b (patch) | |
| tree | 9a1059c2a8b9168bab0eaadc6112031da533d2bc /dev/ci/ci-math-classes.sh | |
| parent | d7bb51c69b5a274e341b1a6776baa965d98b3177 (diff) | |
| parent | b207b8e6953d76af98e1d18983fb1467fc8fe8f5 (diff) | |
Merge PR#792: Fix ci-fiat-crypto to have a proper lite target
Diffstat (limited to 'dev/ci/ci-math-classes.sh')
| -rwxr-xr-x | dev/ci/ci-math-classes.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/ci/ci-math-classes.sh b/dev/ci/ci-math-classes.sh index beb75773b7..f177d231b0 100755 --- a/dev/ci/ci-math-classes.sh +++ b/dev/ci/ci-math-classes.sh @@ -11,10 +11,10 @@ Corn_CI_DIR=${CI_BUILD_DIR}/corn git_checkout ${math_classes_CI_BRANCH} ${math_classes_CI_GITURL} ${math_classes_CI_DIR} -( cd ${math_classes_CI_DIR} && make -j ${NJOBS} && make install ) +( cd ${math_classes_CI_DIR} && make && make install ) # Setup Corn git_checkout ${Corn_CI_BRANCH} ${Corn_CI_GITURL} ${Corn_CI_DIR} -( cd ${Corn_CI_DIR} && make -j ${NJOBS} ) +( cd ${Corn_CI_DIR} && make ) |