diff options
author | Teddy Wing | 2018-11-23 01:11:41 +0100 |
---|---|---|
committer | Teddy Wing | 2018-11-23 01:11:41 +0100 |
commit | 6bcd35a43e74ced8d82da99523b98fdfefafaf6d (patch) | |
tree | 7c38bf16154d93b3d7d0b7952a8b54c1428df4a9 | |
parent | 32818582ca4c4f9b4b5c19579e88eb19d8623149 (diff) | |
download | dome-key-web-6bcd35a43e74ced8d82da99523b98fdfefafaf6d.tar.bz2 |
bin/setup: Exit on error
-rwxr-xr-x | bin/setup | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -18,6 +18,8 @@ # License along with DomeKey Web. If not, see # <https://www.gnu.org/licenses/>. +set -ex + function program_exists () { local program="$1" |