]> Savannah Git Hosting - gnulib.git/commit
init.sh: Add possibility to not delete temporary files.
authorBruno Haible <bruno@clisp.org>
Thu, 15 Dec 2016 21:26:01 +0000 (22:26 +0100)
committerBruno Haible <bruno@clisp.org>
Fri, 16 Dec 2016 18:21:23 +0000 (19:21 +0100)
commit3044ae7f4310079527010ddd52be0e117ae28ca6
tree17706e0f3162e8d04e6bf97034bc4128e832003f
parentea7015f681a96287ebb7315f897ee1474b0ffbe9
init.sh: Add possibility to not delete temporary files.

* tests/init.sh (remove_tmp_): If the environment variable KEEP is set
to yes, don't erase the temporary directory.
ChangeLog
tests/init.sh