diff options
| -rwxr-xr-x | platform/rpm/mkrpm.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/platform/rpm/mkrpm.sh b/platform/rpm/mkrpm.sh index a8e7e55ab..da0c19c18 100755 --- a/platform/rpm/mkrpm.sh +++ b/platform/rpm/mkrpm.sh | |||
| @@ -8,6 +8,8 @@ | |||
| 8 | # Builds rpms in a temporary directory then places the result in the | 8 | # Builds rpms in a temporary directory then places the result in the |
| 9 | # current working directory. | 9 | # current working directory. |
| 10 | 10 | ||
| 11 | set -e | ||
| 12 | |||
| 11 | # shellcheck source=config.sh | 13 | # shellcheck source=config.sh |
| 12 | . "$(dirname "$0")/../../config.sh" || exit 1 | 14 | . "$(dirname "$0")/../../config.sh" || exit 1 |
| 13 | 15 | ||