diff options
author | Tomas Vondra | 2017-08-21 12:30:53 +0000 |
---|---|---|
committer | Tomas Vondra | 2017-08-21 12:54:32 +0000 |
commit | 8928e4325a48226a785f2e9336bebef49ff15efc (patch) | |
tree | bf1fa9128225f36fefbce5778764187226572993 | |
parent | 99341c120d30eb7cc44eefa809d89d5127d36cd5 (diff) |
Make make_signature fail if any of the commands fails
The make_signature executes a number of commands, but does not check
return values. While the commands are simple and unlikely to fail,
add 'set -e' to prevent strange failures if that ever happens.
-rwxr-xr-x | contrib/pgxc_ctl/make_signature | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/contrib/pgxc_ctl/make_signature b/contrib/pgxc_ctl/make_signature index d395794bba..661b5d3d80 100755 --- a/contrib/pgxc_ctl/make_signature +++ b/contrib/pgxc_ctl/make_signature @@ -29,6 +29,9 @@ # the integrity between the two. #------------------------------------------------------------------------ +# make sure we fail if any of the executed commands fails +set -e + sig=`date +%y%m%d_%H%M_%N` cat > signature.h <<EOF /*------------------------------------------------------------------------- |