diff options
Diffstat (limited to 'cpp/makefile')
| -rw-r--r-- | cpp/makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cpp/makefile b/cpp/makefile index a42667c9..470c20c0 100644 --- a/cpp/makefile +++ b/cpp/makefile @@ -5,6 +5,7 @@ mu: makefile enumerate/enumerate tangle/tangle mu.cc # mu.cc mu.cc: 0* ./tangle/tangle $$(./enumerate/enumerate --until 999 |grep -v '.mu$$') |grep -v "^\s*//:" > mu.cc + cat $$(./enumerate/enumerate --until 999 |grep '.mu$$') > core.mu @make autogenerated_lists >/dev/null enumerate/enumerate: @@ -32,4 +33,4 @@ clena: clean clean: cd enumerate && make clean cd tangle && make clean - rm -rf mu.cc mu *_list + rm -rf mu.cc core.mu mu *_list |