Add a #! line to config_h.SH

It will get one automatically the next time config_h.pl is run, but
that time hasn’t come yet. :-)

diff --git a/config_h.SH b/config_h.SH
index 3267fee..dfb57b5 100755 (executable)
--- a/config_h.SH
+++ b/config_h.SH
@@ -1,3 +1,5 @@
+#!/bin/sh
+#
 # THIS IS A GENERATED FILE
 # DO NOT HAND-EDIT
 #