diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-03-26 22:17:40 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-04-08 17:48:25 +0200 |
commit | 2cfc8d69644af6c53fed9128425e8ff70ad4509f (patch) | |
tree | b06a31fcef43a9a60ec372853488d06749aee270 /.dir-locals.el | |
parent | f0527ce3a40e07d5f56b4b18c7eec91dbd016e88 (diff) | |
download | patches-2cfc8d69644af6c53fed9128425e8ff70ad4509f.tar patches-2cfc8d69644af6c53fed9128425e8ff70ad4509f.tar.gz |
build: Add 'as-derivation' target.
* build-aux/compile-as-derivation.scm: New file.
* Makefile.am (as-derivation): New target.
(EXTRA_DIST): Add compile-as-derivation.scm.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions