From 5b0a415f113d00478f5a306988bbcdbd35d99094 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Fri, 17 Apr 2015 12:13:49 -0700 Subject: 1078 - better line numbers Skip tangle comments inside tangle rather than in the makefile. --- cpp/makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cpp/makefile') diff --git a/cpp/makefile b/cpp/makefile index b062b288..c9fd139f 100644 --- a/cpp/makefile +++ b/cpp/makefile @@ -4,7 +4,7 @@ mu: makefile enumerate/enumerate tangle/tangle mu.cc # To see what the program looks like after all layers have been applied, read # mu.cc mu.cc: 0* - ./tangle/tangle $$(./enumerate/enumerate --until 999 |grep -v '.mu$$') |grep -v "^\s*//:" > mu.cc + ./tangle/tangle $$(./enumerate/enumerate --until 999 |grep -v '.mu$$') > mu.cc cat $$(./enumerate/enumerate --until 999 |grep '.mu$$') > core.mu @make autogenerated_lists >/dev/null -- cgit 1.4.1-2-gfad0