clone.sh: remove any previous darcs attempt on clone
commitd6ca2a27546bfbde6ed61e0e9dd3a31e991a22f0
authorKyle J. McKay <mackyle@gmail.com>
Sun, 16 Feb 2014 05:28:21 +0000 (15 21:28 -0800)
committerKyle J. McKay <mackyle@gmail.com>
Sun, 16 Feb 2014 05:28:21 +0000 (15 21:28 -0800)
tree3c7ca0c31f4bd54552d63230b12dfa11c9a8adea
parent2053abd20bad3792c294b2da6d03c0eccdcb248f
clone.sh: remove any previous darcs attempt on clone

In case the initial darcs clone fails the darcsweb.darcs directory
must be removed before trying again.

Remove any existing darcsweb.darcs directory before attempting to
clone a darcs URL.
taskd/clone.sh