boot: Bugfix for diff on mes.
authorJan Nieuwenhuizen <janneke@gnu.org>
Wed, 23 May 2018 07:24:52 +0000 (09:24 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Wed, 23 May 2018 16:41:57 +0000 (18:41 +0200)
commit6ab7d2cee7f0bff6463f3e2fb3958a7ba2eb21d2
treed1cda3301810e528e6bad3eb95c01ce8749fc6fa
parenta4110e55bb05ec4e2b034417df4eb75375fdfeb9
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.
scripts/diff.scm