mirror of https://gerrit.osmocom.org/asn1c
regeneration is allowed to fail
This commit is contained in:
parent
7eac0df3e7
commit
7e833b6ed4
|
@ -6,7 +6,9 @@ diff -u . . 2>/dev/null && diffArgs="$diffArgs -u" # Unified diff output
|
|||
|
||||
ec=0
|
||||
|
||||
set -e
|
||||
if [ "$1" != "regenerate" ]; then
|
||||
set -e
|
||||
fi
|
||||
|
||||
PROCESSING=""
|
||||
print_status() {
|
||||
|
|
Loading…
Reference in New Issue