From 1fd293c13e9e69df1ad65afe451821ef6ba6d941 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 15 Sep 2016 13:09:33 -0700 Subject: 3362 --- makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/makefile b/makefile index 3edf546c..b0f6280c 100644 --- a/makefile +++ b/makefile @@ -44,13 +44,13 @@ BUILD_SRC=$(wildcard .build/*.cc) mu.cc: [0-9]*.cc enumerate/enumerate tangle/tangle ./tangle/tangle $$(./enumerate/enumerate --until zzz |grep -v '.mu$$') > mu.cc -enumerate/enumerate: +enumerate/enumerate: enumerate/*.cc cd enumerate && make -tangle/tangle: +tangle/tangle: tangle/*.cc cd tangle && make && ./tangle test -cleave/cleave: cleave/cleave.cc +cleave/cleave: cleave/*.cc cd cleave && make rm -rf .build -- cgit 1.4.1-2-gfad0