fix bug in darcs get
[nestedvm.git] / upstream / Makefile
index 6fa279d..bb5394a 100644 (file)
@@ -83,8 +83,8 @@ tasks/extract_darcs_%:
        if [ -d "$(root)/_darcs" ]; then \
                cd build && darcs get --repo-name="$*" --verbose "$(darcs_$*)"; \
        else \
-               mkdir -p "build/$*" && cd "build/$*"; \
-               wget -nH -rl 16 -N -X _darcs $(darcs_$*); \
+               mkdir -p "build/" && cd "build/"; \
+               darcs get --repo-name=$* $(darcs_$*); \
        fi
        touch $@
 
@@ -92,7 +92,7 @@ update_darcs_%: tasks/extract_darcs_%
        if [ -d "build/$*/_darcs" ]; then \
                cd "build/$*" && darcs pull; \
        else \
-               cd "build/$*" && wget -np -nH --cut-dirs=1 -rl 16 -N -X _darcs $(darcs_$*); \
+               cd "build/$*" && darcs get $(darcs_$*); \
        fi
        rm -f "tasks/build_darcs_$*" # to force a rebuild