Distinguish between die() and err().

[moe.git] / Makefile

diff --git a/Makefile b/Makefile
index 226437e9869a679280442dff27583c17a39e1bb0..fbae3c538d28498d8c0240ee449af17dccca1816 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -27,7 +27,14 @@ include $(s)/box/Makefile
 include $(s)/utils/Makefile
 include $(s)/eval/Makefile
 include $(s)/judge/Makefile
+
+ifdef CONFIG_SUBMIT
 include $(s)/submit/Makefile
+endif
+
+ifdef CONFIG_MOP
+include $(s)/mop/Makefile
+endif
 
 # And finally the default rules of the build system
 include $(s)/build/Makebottom