chiark / gitweb /
Merge pull request #138 from triffid/fix-makefile
authorErikZalm <erik@vdzalm.eu>
Sun, 15 Apr 2012 17:21:46 +0000 (10:21 -0700)
committerErikZalm <erik@vdzalm.eu>
Sun, 15 Apr 2012 17:21:46 +0000 (10:21 -0700)
make should rebuild if configuration or Makefile is changed


Trivial merge