wok-next diff noto-serif/receipt @ rev 21687
updated glpi (0.80.7 -> 9.4.6)
author | Hans-G?nter Theisgen |
---|---|
date | Mon Jun 29 17:11:21 2020 +0100 (2020-06-29) |
parents | 4e6503d7a19f |
children |
line diff
1.1 --- a/noto-serif/receipt Thu Jul 12 18:34:58 2018 +0300 1.2 +++ b/noto-serif/receipt Mon Jun 29 17:11:21 2020 +0100 1.3 @@ -32,7 +32,7 @@ 1.4 save_file="NotoSerif-$variant-$VERSION.ttf" 1.5 url="https://github.com/googlei18n/noto-fonts/raw/$COMMIT/hinted/$get_file" 1.6 [ -e "$SRC/$save_file" ] || wget -T 30 -O "$SRC/$save_file" $url 1.7 - [ -e "$SRC/$save_file" ] || exit 1 1.8 + [ -e "$SRC/$save_file" ] || return 1 1.9 cp "$SRC/$save_file" "$src/$get_file" 1.10 done 1.11