tune Makefile for less pointless rebuilding
authorRalf Jung <post@ralfj.de>
Sun, 23 Aug 2015 11:20:21 +0000 (13:20 +0200)
committerRalf Jung <post@ralfj.de>
Sun, 23 Aug 2015 11:20:21 +0000 (13:20 +0200)
commite8e3f9b3dec1e5e8a6ed6c59cfa661df2252f3db
treef237a58c70ef0a1213e38d7db588e07134108d4e
parent8eb6aed01c01ae099e12fd9bae959840667222f8
tune Makefile for less pointless rebuilding
Makefile