gap-packages / grape

GRaph Algorithms using PErmutation groups
https://gap-packages.github.io/grape/
5 stars 7 forks source link

Ensure nauty build failures are detected properly #13

Closed fingolfin closed 5 years ago

fingolfin commented 5 years ago

By using && to chain the commands in the build script, a failure in any script (e.g. in configure) causes the whole thing to abort, and report a non-zero exit code.

Previously, if e.g. configure failed, the build processes nevertheless proceeded, and ultimately always reported success. This is annoying for continuous integration, but also can be confusing for users.