summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-02-14 12:56:24 -0800
committerOri Bernstein <ori@eigenstate.org>2015-02-14 12:56:24 -0800
commit7282d69a47f0839600ff0a183a169dd09d1bb9af (patch)
tree01f7d39f936c09ddbd9eb335fcfedfa943c26de7 /Makefile
parentce7ea84db9aebfa86450b3ee2f1046ab52de6af1 (diff)
downloadmc-7282d69a47f0839600ff0a183a169dd09d1bb9af.tar.gz
Use the correct inputs for usefiles.
Get the sys.foo through 'use sys', and not through 'use "sys.use". Also, make sure all .myr files are in the bldfile.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index b309d47..43a4115 100644
--- a/Makefile
+++ b/Makefile
@@ -11,6 +11,7 @@ include mk/c.mk
include config.mk
check: all
+ $(MAKE) -C libstd check
$(MAKE) -C test check
bench: all