chiark / gitweb /
Makefile: add more to .PRECIOUS to defeat daft make
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Jan 2015 22:48:44 +0000 (22:48 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Jan 2015 22:48:44 +0000 (22:48 +0000)
commit228af0a40ee590650734eeff9a70be6319fb3446
tree90c20980626c4ef476034ebea3bc64fd215956b7
parente6fd59a2c936cf2cad869c0de2b6380c4ace777d
Makefile: add more to .PRECIOUS to defeat daft make
Makefile