diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-02-17 00:39:52 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-02-17 00:39:52 -0800 |
commit | 852936bfaaa385790613b889e01fe1edd6f0312c (patch) | |
tree | a9101950406430355b87c478af4bbf8f48fa2d15 /makefile | |
parent | 37421f8a8bbccc871a3d452d81f03ad9a58f23bf (diff) | |
download | mu-852936bfaaa385790613b889e01fe1edd6f0312c.tar.gz |
2665
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/makefile b/makefile index cc8af389..5dd114c2 100644 --- a/makefile +++ b/makefile @@ -16,7 +16,7 @@ core.mu: [0-9]*.mu mu.cc cat $$(./enumerate/enumerate --until zzz |grep '.mu$$') > core.mu enumerate/enumerate: - cd enumerate && make && ./enumerate test + cd enumerate && make tangle/tangle: cd tangle && make && ./tangle test |