diff options
-rw-r--r-- | src/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index f2590cb..27d3dff 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -343,6 +343,7 @@ gpg-error-config: gpgrt-config gpg-error-config-old else \ echo "no"; \ echo "*** Please report to <https://bugs.gnupg.org> with gpg-error-config-test.log"; \ + exit 1; \ fi cp gpg-error-config-old $@ |