From b2f817856d994945778f8550a238471f72337445 Mon Sep 17 00:00:00 2001 From: megacz Date: Sat, 13 Jun 2009 17:51:55 -0700 Subject: [PATCH] use darcs to acquire darcs repos --- upstream/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/upstream/Makefile b/upstream/Makefile index 6fa279d..3549e76 100644 --- a/upstream/Makefile +++ b/upstream/Makefile @@ -84,7 +84,7 @@ tasks/extract_darcs_%: cd build && darcs get --repo-name="$*" --verbose "$(darcs_$*)"; \ else \ mkdir -p "build/$*" && cd "build/$*"; \ - wget -nH -rl 16 -N -X _darcs $(darcs_$*); \ + darcs get $(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 -- 1.7.10.4