TomGav's TODO list.

[moe.git] / Makefile

diff --git a/Makefile b/Makefile
index 79a1193d1cdf41cdb6bd2a6d19cbdb3ced0bd7b2..a9e357236156d0376d251390e1f3ee4b2876377e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@
 VERSION=1.0.99-20080220
 
 # The default target
-all: runtree programs datafiles
+all: runtree programs datafiles configs
 
 # Include configuration
 s=.
@@ -28,5 +28,9 @@ 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