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
commit199e8c38edcfd24d13a5209dced69cf0c9b496d0 (patch)
tree01f7d39f936c09ddbd9eb335fcfedfa943c26de7 /Makefile
parent53712aa0fc95a84fa36b4960aeef98ceee6859bc (diff)
downloadmc-199e8c38edcfd24d13a5209dced69cf0c9b496d0.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