diff options
author | Bernd Edlinger <bernd.edlinger@hotmail.de> | 2018-09-10 14:18:23 +0200 |
---|---|---|
committer | Bernd Edlinger <bernd.edlinger@hotmail.de> | 2018-09-11 18:45:59 +0200 |
commit | 5a6fbf616e1da3ac8c8bc6a30dbcd9844f6726c7 (patch) | |
tree | a729660f1c2baca9772acd42eceef128ec8e95e3 | |
parent | fb953d29b1775017c435000f180b755886999984 (diff) |
Make the config script fail with an error code if Configure failed
Reviewed-by: Richard Levitte <levitte@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/7166)
(cherry picked from commit e13dc23cc0fd64c304c25a67d5fa516a77f9e8f1)
-rwxr-xr-x | config | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -992,5 +992,6 @@ if [ $? = "0" ]; then fi else echo "This system ($OUT) is not supported. See file INSTALL for details." + exit 1 fi ) |