diff options
| author | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-10-01 17:42:28 +0700 |
|---|---|---|
| committer | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-10-01 17:42:39 +0700 |
| commit | 6b3b90d55d7730aa7924bc57663a11172d6dc372 (patch) | |
| tree | 054c6615cb21cfc44dbec65085724d26c82d8f6b | |
| parent | 7fc58133d671ced94f6a12407dad732afb47d5f2 (diff) | |
coverity/prepare_source_Osmocom.sh: execute with '-xe'
Change-Id: Icf6546271a01cd9a3dab1ce0d1bc02807d08ad85
| -rwxr-xr-x | coverity/prepare_source_Osmocom.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coverity/prepare_source_Osmocom.sh b/coverity/prepare_source_Osmocom.sh index ad03835..63fbea0 100755 --- a/coverity/prepare_source_Osmocom.sh +++ b/coverity/prepare_source_Osmocom.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/sh -xe . $(realpath common.sh) BASEDIR=source-Osmocom |