projects / mes.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3970a87) | patch
build: Resurrect --with-cheating.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sat, 20 Jul 2019 16:56:58 +0000 (18:56 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sat, 20 Jul 2019 16:56:58 +0000 (18:56 +0200)
commit2e98d036995faff975da88885d8f5a10e9e21ea3
tree987849068d0f36c853aada82433fa88b5823bb29tree | snapshot (zip tar.gz)
parent3970a8797bbe05e64acf249edd4c15fd860eb287commit | diff
build: Resurrect --with-cheating.

* build-aux/config.sh.in (SCHEME): New substitute.
* build-aux/config.make.in: Likewise.
* configure: Substitute them.
build-aux/config.make.in diff | blob | history
build-aux/config.sh.in diff | blob | history
build-aux/export.make diff | blob | history
configure diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.