diff options
| -rw-r--r-- | cpp/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpp/makefile b/cpp/makefile index 40eb3873..9d2e1f15 100644 --- a/cpp/makefile +++ b/cpp/makefile @@ -9,7 +9,7 @@ mu.cc: 0* @make autogenerated_lists >/dev/null tangle/tangle: - cd tangle && make + cd tangle && make && tangle test # auto-generated files; by convention they end in '_list'. .PHONY: autogenerated_lists clena |