wok diff etherboot/receipt @ rev 21322

updated libtorrent-dev again (0.13.3 -> 0.13.7)
author: Hans-G?nter Theisgen
date: Fri Apr 19 07:57:25 2019 +0100 (2019-04-19)
parents: 970c5ec9a60a
children: 640a2eba2511
     1.1 --- a/etherboot/receipt	Sun May 20 13:28:18 2018 +0200
     1.2 +++ b/etherboot/receipt	Fri Apr 19 07:57:25 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