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)
commitc2557abc03617410b791a6c4221b16bba6164857
treeeb7ad3bff8ce0ff1f07611b835fd2cb87e396b69
parent67cf105bc69c555547d1c2ba1974b03a2a2c70c3
parent77d503fa138fe97aab8da024fde25625d0ea7d0b
Merge pull request #138 from triffid/fix-makefile

make should rebuild if configuration or Makefile is changed