don't change default repository in dist.sh
Sun Dec 7 02:24:14 PST 2008 David Lichteblau <david@lichteblau.com>
* don't change default repository in dist.sh
diff -rN -u old-plexippus-xpath/dist.sh new-plexippus-xpath/dist.sh
--- old-plexippus-xpath/dist.sh 2014-07-28 09:32:32.000000000 -0700
+++ new-plexippus-xpath/dist.sh 2014-07-28 09:32:32.000000000 -0700
@@ -31,7 +31,7 @@
make -C doc
darcs tag $name_and_date
-darcs put -t $name_and_date $TMPDIR/$name_and_date
+darcs put --no-set-default -t $name_and_date $TMPDIR/$name_and_date
rm -rf $TMPDIR/$name_and_date/_darcs
echo '(progn (load "dist.lisp") (quit))' | clbuild lisp