build: fix for 07-include, thanks rain1!
authorJan Nieuwenhuizen <janneke@gnu.org>
Sat, 18 Nov 2017 14:02:21 +0000 (15:02 +0100)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sat, 18 Nov 2017 14:02:21 +0000 (15:02 +0100)
commitd111d64e50d36a2e9e0b8dcba060b16e6b8ed40f
tree1e5758ae5293e7c466313a8e3a5a679af5cadc05
parent9602e14c61ab1bef7be7e6fb8d080f4dbd054b13
build: fix for 07-include, thanks rain1!

* make.scm (add-scaffold-test): New keyword parameter: includes.
  ("07-include"): Use it.
make.scm