From bf7edab63fc1d980e58ae0a460fb49d75ccbc1c7 Mon Sep 17 00:00:00 2001 From: brian Date: Mon, 31 May 2004 18:01:28 -0700 Subject: [PATCH 1/1] makefile darcs wget fix darcs-hash:20040601010128-24bed-912b3f61f5205059b3a820518b39f9e734806ff3.gz --- upstream/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 1.7.10.4