Make graphics/update fail on error. v2.15.97
authorCarl Hetherington <cth@carlh.net>
Fri, 14 Aug 2020 14:20:55 +0000 (16:20 +0200)
committerCarl Hetherington <cth@carlh.net>
Fri, 14 Aug 2020 14:20:55 +0000 (16:20 +0200)
graphics/update

index 5fc7aa519bf35b64968520e8b6d81e88e5744f71..cee8a3ca152cb1d8054b4f00f9d27a83854f849e 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/bash -e
 #
 # Update generated stuff in graphics/ from the source files.
 #
@@ -6,6 +6,8 @@
 # a) getting the wscript right is a complete pain in the arse
 # b) running Inkscape from the command line on OS X is a complete pain in the arse
 
+set -e
+
 pwd=`pwd`
 if [ `basename $pwd` != "graphics" ]; then
     echo "$0: run within graphics/"