From: brian Date: Tue, 1 Jun 2004 01:01:28 +0000 (-0700) Subject: makefile darcs wget fix X-Git-Url: http://git.megacz.com/?p=nestedvm.git;a=commitdiff_plain;h=bf7edab63fc1d980e58ae0a460fb49d75ccbc1c7 makefile darcs wget fix darcs-hash:20040601010128-24bed-912b3f61f5205059b3a820518b39f9e734806ff3.gz --- diff --git a/upstream/Makefile b/upstream/Makefile index b7d6643..c375b30 100644 --- a/upstream/Makefile +++ b/upstream/Makefile @@ -79,10 +79,10 @@ tasks/extract_darcs_%: touch $@ update_darcs_%: tasks/extract_darcs_% - if [ -d "build/$*/darcs" ]; then \ + if [ -d "build/$*/_darcs" ]; then \ cd "build/$*" && darcs pull; \ - else - cd "build/$*" && wget -nH -rl 16 -N -X _darcs $(darcs_$*); \ + else \ + cd "build/$*" && wget -np -nH --cut-dirs=1 -rl 16 -N -X _darcs $(darcs_$*); \ fi rm "tasks/build_darcs_$*" # to force a rebuild