diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-07-08 18:32:45 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-07-08 18:32:45 +0000 |
| commit | 0c05a33d82346560b375d2473588c8a16a014d62 (patch) | |
| tree | a7b36db9fe73c9b218281d15330d958a0a2d5614 | |
| parent | 26fba297463fea26946da894004ad7dce0e8a9dc (diff) | |
Use darcs dist instead of darcs get in make dist. This should get around the problem with partial repositories.
| -rw-r--r-- | src/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index e59eb2c28..8c38af09f 100644 --- a/src/Makefile +++ b/src/Makefile @@ -214,8 +214,9 @@ lib: dist: -rm -rf $(DIST_DIR) - darcs get --repo-name=$(DIST_DIR) .. - rm -rf $(DIST_DIR)/_darcs + darcs dist --dist-name=$(DIST_DIR) + tar -zxf ../$(DIST_DIR).tar.gz + rm ../$(DIST_DIR).tar.gz cd $(DIST_DIR)/src && perl -pi -e "s/^AC_INIT\(\[GF\],\[[^\]]*\]/AC_INIT([GF],[$(PACKAGE_VERSION)]/" configure.ac cd $(DIST_DIR)/src && autoconf && rm -rf autom4te.cache # cd $(DIST_DIR)/grammars && sh mkLib.sh |
