diff options
Diffstat (limited to 'cpp/makefile')
| -rw-r--r-- | cpp/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpp/makefile b/cpp/makefile index 554c6c45..4fbe6759 100644 --- a/cpp/makefile +++ b/cpp/makefile @@ -5,7 +5,7 @@ mu: makefile 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 --until 999 > mu.cc + ./tangle/tangle --until 999 |grep -v "^\s*//:" > mu.cc @make autogenerated_lists >/dev/null tangle/tangle: |