Don't run hake twice for 'make rehake'
authorDavid Cock <david.cock@inf.ethz.ch>
Mon, 31 Aug 2015 08:55:33 +0000 (10:55 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Mon, 31 Aug 2015 08:55:33 +0000 (10:55 +0200)
commitc80655d64c49d728a53979c7b065622c857e9ceb
tree92ad2c0f25905f78f8dad209e40bd902b951087c
parentfdacf58bef7a2d18fc2b3c59e29086353cf08e7a
Don't run hake twice for 'make rehake'

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
hake/Main.hs
hake/symbolic_targets.mk