Fix config_h.SH duplication due to re-running Porting/config_h.pl

Quoting Porting/config_h.pl :

  # This script is run just after metaconfig, and it
  # is run ONLY ONCE. Not to be used afterwards

It looks like e849841dca2a8b11119997585f795647c52cdcdf accidentally did
re-run it, resulting in some duplication in config_h.SH.

(Also includes regenerated uconfig.h by regen/uconfig_h.pl)

2 files changed, 1 insertions, 13 deletions

diff --git a/config_h.SH b/config_h.SH
index 451c04a51d..26ed9f9fba 100755
--- a/config_h.SH
+++ b/config_h.SH
@@ -5,13 +5,6 @@
 #
 # See Porting/config_h.pl
 
-#!/bin/sh
-#
-# THIS IS A GENERATED FILE
-# DO NOT HAND-EDIT
-#
-# See Porting/config_h.pl
-
 : Set up for generating config_h.SH
 case "$CONFIG_SH" in
 '') CONFIG_SH=config.sh;;
@@ -38,9 +31,6 @@ esac
 case "$CONFIG_H" in
 already-done) echo "Not re-extracting config.h" ;;
 *)
-case "$CONFIG_H" in
-already-done) echo "Not re-extracting config.h" ;;
-*)
 echo "Extracting $CONFIG_H (with variable substitutions)"
 sed <<!GROK!THIS! >$CONFIG_H -e 's!^#undef\(.*/\)\*!/\*#define\1 \*!' -e 's!^#un-def!#undef!'
 /* This file was produced by running the config_h.SH script, which
@@ -5302,5 +5292,3 @@ sed <<!GROK!THIS! >$CONFIG_H -e 's!^#undef\(.*/\)\*!/\*#define\1 \*!' -e 's!^#un
 !GROK!THIS!
 ;;
 esac
-;;
-esac
diff --git a/uconfig.h b/uconfig.h
index d74c417c2d..2d38ac4f32 100644
--- a/uconfig.h
+++ b/uconfig.h
@@ -5256,6 +5256,6 @@
 #endif
 
 /* Generated from:
- * 15acb59ff9e808ff9fbebc95510c0bed8b1de705034bf4b22482bfa431da15b6 config_h.SH
+ * cc910600600e832a5ad4789896a093ec8e001c4dec9ee3c7d7a3e6ba880651c7 config_h.SH
  * e598046e9da73796e21226371ce26e8f2144852e0f5da7f00e52e1dbe1eaeaa6 uconfig.sh
  * ex: set ro: */