diff options
author | hubertf <hubertf> | 2000-06-21 22:43:17 +0000 |
---|---|---|
committer | hubertf <hubertf> | 2000-06-21 22:43:17 +0000 |
commit | 537d2710cc6c11d2ab288b1c24818c50eff41944 (patch) | |
tree | 8f01b5a222a12f2a439de7451b79ab86208b428c /pkgtools | |
parent | 0530cd3971f823b9ab3928d948f618e6b9c59b9e (diff) | |
download | pkgsrc-537d2710cc6c11d2ab288b1c24818c50eff41944.tar.gz |
* allow using a different make command by using the env-var "MAKE".
Patch submitted by Thomas Klausner in private mail.
* Mention that the user has to create pkg/COMMENT and pkg/DESCR manually
This file should probably be moved to pkgsrc...
Diffstat (limited to 'pkgtools')
-rwxr-xr-x | pkgtools/url2pkg/files/url2pkg | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/pkgtools/url2pkg/files/url2pkg b/pkgtools/url2pkg/files/url2pkg index 866b139a410..5126d2b48db 100755 --- a/pkgtools/url2pkg/files/url2pkg +++ b/pkgtools/url2pkg/files/url2pkg @@ -1,11 +1,15 @@ #!/bin/sh # -# $NetBSD: url2pkg,v 1.10 2000/06/15 21:38:01 hubertf Exp $ +# $NetBSD: url2pkg,v 1.11 2000/06/21 22:43:17 hubertf Exp $ # # url2pkg # (c) 1999 Hubert Feyrer # +if [ "$MAKE" = "" ]; then + MAKE=make +fi + if [ "$PKGEDITOR" != "" ]; then editor="$PKGEDITOR" elif [ "$EDITOR" != "" ]; then @@ -80,10 +84,10 @@ if [ ! -f w*/.extract_done ]; then ${editor} +5 Makefile echo "Running 'make makesum' ..." - make makesum + $MAKE makesum echo "Running 'make extract' ..." - make extract + $MAKE extract fi # @@ -130,4 +134,6 @@ echo "Contents of "`echo w*`"/${wrksrc}:" ls -la w*/$wrksrc echo "" -echo "Good luck! (See ../../Packages.txt for some more help :-)" +echo "Don't forget to fill in pkg/COMMENT and pkg/DESCR when you're done." +echo "" +echo "Good luck! (See pkgsrc/Packages.txt for some more help :-)" |