tree-wide: use curl --fail

curl will save the 404 response page (or another error) if the page
download fails, which we never want. Let it error out instead.

src/basic/linux/update.sh

@@ -4,9 +4,9 @@ set -eu
 
 for i in *.h */*.h; do
     if [[ $i == 'loadavg.h' ]]; then
-        curl https://raw.githubusercontent.com/torvalds/linux/master/include/linux/sched/$i -o $i
+        curl --fail https://raw.githubusercontent.com/torvalds/linux/master/include/linux/sched/$i -o $i
     else
-        curl https://raw.githubusercontent.com/torvalds/linux/master/include/uapi/linux/$i -o $i
+        curl --fail https://raw.githubusercontent.com/torvalds/linux/master/include/uapi/linux/$i -o $i
     fi
 
     sed -i -e 's/__user //g' -e '/^#include <linux\/compiler.h>/ d' $i