summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2010-09-01 14:57:07 +0200
committerJonas Smedegaard <dr@jones.dk>2010-09-01 14:57:07 +0200
commit8639ce595fa628361e6ab5e922ca9fe9f4e7a7ff (patch)
tree270547d8d62da8dd474730337c0bf9c28096999d
parent554827d432486a20b2b9542b10226c96656c2cb6 (diff)
parentc53097da83d04b82a056d2289f543de98827cc27 (diff)
Merge branch 'master' into wian
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 8278047..2822337 100644
--- a/Makefile
+++ b/Makefile
@@ -28,6 +28,7 @@ all: init $(SOURCES)
init:
git submodule init
git submodule update
+ $(if $(dummy_MODULES),mkdir -p $(dummy_MODULES))
touch init
install::