--- a/contrib/updatesri.sh	Wed Aug 10 01:19:54 2016 +0800
+++ b/contrib/updatesri.sh	Wed Aug 10 01:26:39 2016 +0800
@@ -2,12 +2,12 @@
 
 set -euo pipefail
 
-egrep -oh 'https://[^"]+\.js' "$@" | sort -u | while read url; do
+( egrep -oh 'https://[^"]+\.js' "$@" || true ) | sort -u | while read url; do
     hash=$(curl -fsS "$url" | openssl dgst -sha384 -binary | openssl base64 -A)
     sed -i "\|$url| c\\    <script src=\"$url\" integrity=\"sha384-$hash\" crossorigin=\"anonymous\"></script>" "$@"
 done
 
-egrep -oh 'https://[^"]+\.css' "$@" | sort -u | while read url; do
+( egrep -oh 'https://[^"]+\.css' "$@" || true ) | sort -u | while read url; do
     hash=$(curl -fsS "$url" | openssl dgst -sha384 -binary | openssl base64 -A)
     sed -i "\|$url| c\\    <link rel=\"stylesheet\" href=\"$url\" integrity=\"sha384-$hash\" crossorigin=\"anonymous\">" "$@"
 done