Polished configuration scripts.

[eval.git] / Makefile

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