wok diff gpxe/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 718176ab6e52
children 40049921ce2b
line diff
     1.1 --- a/gpxe/receipt	Fri Oct 03 17:21:16 2008 +0000
     1.2 +++ b/gpxe/receipt	Wed Nov 19 23:52:52 2008 +0100
     1.3 @@ -14,8 +14,10 @@
     1.4  {
     1.5  	cd $src/src
     1.6  	for i in prefix.u default_boot.u cmdline.u; do
     1.7 +		[ -f done.$i ] && continue
     1.8  		echo "Apply $i..."
     1.9  		patch -p2 < ../../stuff/$i || return 1
    1.10 +		touch done.$i
    1.11  	done
    1.12  	make bin/gpxe.lkrn bin/undionly.kpxe
    1.13  }