aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci/ci-wrapper.sh
Commit message (Collapse)AuthorAge
* Fix CI with parallel make (messed up dependencies)Gravatar Gaëtan Gilbert2017-12-21
| | | | | | | | | When invoking through Makefile we always rebuild dependencies. To skip dependencies, invoke ci-wrapper directly. We make Circle CI do this. In order to properly support invoking ci-wrapper directly we replace "make" in ci-common by a bash function which adds -j to the make invocation outside submakes. We also set TIMED in the ci-wrapper.
* Put bignums, math-classes and corn dependencies in MakefileGravatar Gaëtan Gilbert2017-12-13
|
* Don't strip the newline, don't use \rGravatar Jason Gross2017-08-24
| | | | | Not sure entirely what it was supposed to do, but stripping the newline erased the following line
* Swap order of "aggregating..." message and travis_foldGravatar Jason Gross2017-08-24
| | | | | Now the folded line starts with "Aggregating..." and not with "---------"
* Only display travis_fold: on travisGravatar Jason Gross2017-08-24
|
* Move the rest of the ci target to a bash fileGravatar Jason Gross2017-08-15