wok diff gpxe/receipt @ rev 1699

Add: get-eclipse-pdt, get and install eclipse PDT
author Eric Joseph-Alexandre <erjo@slitaz.org>
date Thu Nov 13 00:04:59 2008 +0100 (2008-11-13)
parents 718176ab6e52
children 40049921ce2b
line diff
     1.1 --- a/gpxe/receipt	Fri Oct 03 17:21:16 2008 +0000
     1.2 +++ b/gpxe/receipt	Thu Nov 13 00:04:59 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  }