diff options
| author | Carl Hetherington <cth@carlh.net> | 2020-08-14 16:20:55 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2020-08-14 16:20:55 +0200 |
| commit | 46f143db5a8bfcfd6de2a6ca9f7069e006eb8710 (patch) | |
| tree | 73d8384897e38d1c8989d3146ea3b14b281525cd | |
| parent | 9298375a55c62f4d8616a371702600652e72d153 (diff) | |
Make graphics/update fail on error.v2.15.97
| -rwxr-xr-x | graphics/update | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/graphics/update b/graphics/update index 5fc7aa519..cee8a3ca1 100755 --- a/graphics/update +++ b/graphics/update @@ -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/" |