wok-current diff etherboot/receipt @ rev 20720

updated aqualung (0.9beta10 -> 1.02)
author: Hans-G?nter Theisgen
date: Fri Feb 08 15:11:05 2019 +0100 (2019-02-08)
parents: 970c5ec9a60a
children: 640a2eba2511
     1.1 --- a/etherboot/receipt	Sun May 20 13:28:18 2018 +0200
     1.2 +++ b/etherboot/receipt	Fri Feb 08 15:11:05 2019 +0100
     1.3 @@ -25,7 +25,7 @@
     1.4  etherboot-net.u
     1.5  etherboot-prefix.u
     1.6  EOT
     1.7 -	make bin/etherboot-net.bzImage
     1.8 +	make EXTRA_CFLAGS="-Wno-error=unused-but-set-variable" bin/etherboot-net.bzImage
     1.9  }
    1.10  
    1.11