chiark / gitweb /
Makefile: Add some $(PLAY)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 28 Dec 2016 17:41:24 +0000 (17:41 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 28 Dec 2016 17:41:32 +0000 (17:41 +0000)
commit21859a40e2594253908043188983184c2e527f61
tree8c94900b9e4877230654a098ebcb1c30bb9962b9
parent311e88a3a26e677233b66b690681bcc1e95b82d0
Makefile: Add some $(PLAY)

This helps when this Makefile is included from elsewhere
Makefile