diff options
| -rwxr-xr-x | util/openssl-format-source | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/openssl-format-source b/util/openssl-format-source index 162103f5e9..8cf27d3af3 100755 --- a/util/openssl-format-source +++ b/util/openssl-format-source @@ -35,7 +35,7 @@ COMMENTS=false # our own indent profile, which is at a well known location INDENT_PROFILE="$HERE/indent.pro" export INDENT_PROFILE -if [ -f "$INDENT_PROFILE" ]; then +if [ ! -f "$INDENT_PROFILE" ]; then echo "$0: unable to locate the openssl indent.pro file" >&2 exit 1 fi |