projects / mes.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 72e147f) | patch
build: Support $DESTDIR.
authorJan Nieuwenhuizen <janneke@gnu.org>
Fri, 29 Jun 2018 18:38:11 +0000 (20:38 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Thu, 12 Jul 2018 20:29:59 +0000 (22:29 +0200)
commitb4fa5609fe8a520dfc4b5316a93bff54a9290e3b
tree0a424582c33236a944c40bd9288ab523e0396f6ftree | snapshot (zip tar.gz)
parent72e147f53fc11d0397e080297db31ef897346910commit | diff
build: Support $DESTDIR.

* build-aux/export.make: export DESTDIR.
* install.sh: Support $DESTDIR.
build-aux/export.make diff | blob | history
install.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.