Jan Nieuwenhuizen
|
7603ee1f31
|
build: Do not assume /bin/sh, basename/dirname.
* install.sh: Do not assume /bin/sh, basename/dirname.
* scripts/diff.scm: Likewise.
|
2018-05-23 20:32:37 +02:00 |
|
Jan Nieuwenhuizen
|
6ab7d2cee7
|
boot: Bugfix for diff on mes.
* scripts/diff.scm (diff-files): Rename from diff; Avoids name clash
with module to allow using -e '(<module>)' hack.
|
2018-05-23 18:41:57 +02:00 |
|
Jan Nieuwenhuizen
|
a4110e55bb
|
build: Install naive diff.
* scripts/diff.scm: Move from build-aux.
* install.sh: Install it.
* build-aux/tests.sh: Update location.
|
2018-05-23 18:41:57 +02:00 |
|