wok diff gpxe/receipt @ rev 22805

updated gawk (4.2.1 -> 5.0.1)
author Hans-G?nter Theisgen
date Tue Jan 28 10:03:39 2020 +0100 (2020-01-28)
parents 3705d68ed8f3
children d8c511e24c20
line diff
     1.1 --- a/gpxe/receipt	Sat Feb 24 12:51:10 2018 +0100
     1.2 +++ b/gpxe/receipt	Tue Jan 28 10:03:39 2020 +0100
     1.3 @@ -50,4 +50,5 @@
     1.4  LABEL web zeb\
     1.5  	MENU LABEL Web Boot\
     1.6  	KERNEL /boot/gpxe|' $1/boot/isolinux/isolinux.cfg
     1.7 +	true
     1.8  }