summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2026-03-19 17:18:50 +0100
committerLudovic Courtès <ludo@gnu.org>2026-03-25 23:51:25 +0100
commit331cfd62773162e4c4f4dc97cc7a6546f4218816 (patch)
tree31e745b5cfb81097539353a1396bcddca1afcbbc /doc
parent426101e70f2744b59b297e044edd2e365cf4d725 (diff)
cuirass: Allow for substitutes.
These lines date back to 89cbec89a57c2e10042a19c298c8c000e6bce13b, which was used for Hydra. Nowadays ‘evaluate.scm’ is only used for debugging purposes (Cuirass does not use it) so disabling substitutes makes no sense. * build-aux/cuirass/evaluate.scm <top level>: Remove call to ‘set-build-options’. Change-Id: I8dbf7098a8b9699509df6f74b9f1dac780db12c1 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions