wok diff bash/receipt @ rev 1727

Add: gdb, gdb-dev
author Eric Joseph-Alexandre <erjo@slitaz.org>
date Wed Nov 19 23:52:52 2008 +0100 (2008-11-19)
parents 4615573735e2
children 146ee8863ef5
line diff
     1.1 --- a/bash/receipt	Wed Feb 13 13:27:11 2008 +0100
     1.2 +++ b/bash/receipt	Wed Nov 19 23:52:52 2008 +0100
     1.3 @@ -15,14 +15,16 @@
     1.4  {
     1.5  	# Patch and then build.
     1.6  	cd $src
     1.7 -	busybox patch -p1 -i ../stuff/bash32-025.patch
     1.8 +	[ -f done.bash32-025.patch ] ||
     1.9 +		busybox patch -p1 -i ../stuff/bash32-025.patch
    1.10 +	touch done.bash32-025.patch
    1.11  	./configure --prefix=/usr --bindir=/bin \
    1.12  	--enable-history --enable-alias  \
    1.13  	--disable-nls --without-bash-malloc \
    1.14  	--disable-select --disable-help-builtin \
    1.15  	--infodir=/usr/share/info --mandir=/usr/share/man \
    1.16 -	$CONFIGURE_ARGS
    1.17 -	make
    1.18 +	$CONFIGURE_ARGS &&
    1.19 +	make &&
    1.20  	make DESTDIR=$PWD/_pkg install
    1.21  }
    1.22