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 | ||