summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2014-03-25 20:45:13 +0100
committerLudovic Courtès <ludo@gnu.org>2014-03-25 20:45:13 +0100
commiteafee15b3ce3638058c43974244964dbd48ec15d (patch)
tree36ae8727e0ed20ca1da8c9b0e6e1be654647dba3 /scripts
parent1971737f2bf8980f5eb72b61f9bfeb788574eec9 (diff)
check-available-binaries: Make sure substitutes are enabled.
* build-aux/check-available-binaries.scm: Add call to 'set-build-options'.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions