wok diff gpxe/receipt @ rev 1588

slim: change default user to tux
author: Paul Issott <paul@slitaz.org>
date: Thu Oct 16 20:07:39 2008 +0000 (2008-10-16)
parents: 718176ab6e52
children: 40049921ce2b
     1.1 --- a/gpxe/receipt	Fri Oct 03 17:21:16 2008 +0000
     1.2 +++ b/gpxe/receipt	Thu Oct 16 20:07:39 2008 +0000
     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  }