diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-14 12:39:23 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-14 13:28:27 +0000 |
commit | a56b46a7dde09d7cb24abb53598bd777b5c89577 (patch) | |
tree | d436e27b05710753c2e7e553a82d4335e8117c61 /reproduce/config/pipeline | |
parent | 78727050424174fdee340190cdc458e491aaf18c (diff) |
Configuration stops if a dependency cannot be built
Until now, we used semicolons in Make's Call function definitions to build
the programs with GNU build system or CMake. Therefore, if any step of the
process failed, the rest would be ignorant to it and pass. Now, we use `&&'
to separate the different processing steps. In this way, we can be sure
that if any of them fails (during configuration, or building for example),
the pipeline will also stop and not continue to the next command (in the
same recipe).
Since the two Make Call functions were identical in the two
`dependencies-basic.mk' and `dependencies.mk', they are now in one file to
be imported in both.
This bug was found by Raul Infante Sainz.
Diffstat (limited to 'reproduce/config/pipeline')
0 files changed, 0 insertions, 0 deletions