sage's "make check" should check that the sage build flags (in sage-flags.txt) are right

[williamstein]

Some people do "make check" but never even try to run sage. Thus it is stupid that make check can run without ever verifying that sage-flags.txt is valid. If it isn't, just stop the check.

Component: doctest coverage

Issue created by migration from https://trac.sagemath.org/ticket/5045

[williamstein]

Attachment: trac_5045_scripts-rep.patch.gz

[williamstein]

comment:1

To test this, edit SAGE_ROOT/local/lib/sage-flags.txt and add some madeup flags like x. Then test by doing, e.g.,

make check

and seeing that the build process properly stops.

[sagetrac-mabshoff]

comment:2

Nice.

Cheers,

Michael

[sagetrac-mabshoff]

comment:3

Merged in Sage 3.3.alpha1