diff --git a/autoconf/AutoRegen.sh b/autoconf/AutoRegen.sh index 3dca3867371..5f5f2dbe137 100755 --- a/autoconf/AutoRegen.sh +++ b/autoconf/AutoRegen.sh @@ -1,7 +1,7 @@ #!/bin/sh die () { - echo "$@" 1>&2 - exit 1 + echo "$@" 1>&2 + exit 1 } ### NOTE: ############################################################"