diff options
Diffstat (limited to 'make/Pkgfile.old')
-rw-r--r-- | make/Pkgfile.old | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/make/Pkgfile.old b/make/Pkgfile.old deleted file mode 100644 index 58f4826..0000000 --- a/make/Pkgfile.old +++ /dev/null @@ -1,16 +0,0 @@ -# Description: Controls the generation of executables and other compile-related tasks -# URL: http://www.gnu.org/software/make/ -# Maintainer: CRUX System Team, core-ports at crux dot nu - -name=make -version=3.82 -release=1 -source=(ftp://ftp.gnu.org/gnu/$name/$name-$version.tar.bz2) - -build() { - cd $name-$version - ./configure --prefix=/usr --mandir=/usr/man --disable-nls - make - make DESTDIR=$PKG install - rm -r $PKG/usr/share -} |