Exit if no AC_CONFIG_HEADERS was found.

diff --git a/bin/autoheader.in b/bin/autoheader.in
index fb0c16be966b4e5de78b59c7366f6417535b3c60..9c09a2025110582c8f9a3f800b7ed529a524b4fa 100644 (file)
--- a/bin/autoheader.in
+++ b/bin/autoheader.in
@@ -182,8 +182,11 @@ local (%verbatim, %symbol);
 debug "$me: \`do'ing $tmp/traces.pl:\n" . `sed 's/^/| /' $tmp/traces.pl`;
 do "$tmp/traces.pl";
 warn "couldn't parse $tmp/traces.pl: $@" if $@;
-error "error: AC_CONFIG_HEADERS not found in $ARGV[0]"
-  unless $config_h;
+unless ($config_h)
+  {
+    error "error: AC_CONFIG_HEADERS not found in $ARGV[0]";
+    exit 1;
+  }
 
 # We template only the first CONFIG_HEADER.
 $config_h =~ s/ .*//;