diff options
author | Jonas Smedegaard <dr@jones.dk> | 2010-09-01 14:57:07 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2010-09-01 14:57:07 +0200 |
commit | 8639ce595fa628361e6ab5e922ca9fe9f4e7a7ff (patch) | |
tree | 270547d8d62da8dd474730337c0bf9c28096999d | |
parent | 554827d432486a20b2b9542b10226c96656c2cb6 (diff) | |
parent | c53097da83d04b82a056d2289f543de98827cc27 (diff) |
Merge branch 'master' into wian
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -28,6 +28,7 @@ all: init $(SOURCES) init: git submodule init git submodule update + $(if $(dummy_MODULES),mkdir -p $(dummy_MODULES)) touch init install:: |