Use SCRIPT_SH instead of /bin/sh

diff --git a/pkg/make_proto.sh.in b/pkg/make_proto.sh.in
index a454dd56189fb2eedd733cf7f4f2e0402f85ab93..dd81d048de556303892238cc87ffbb1ba368ac86 100644 (file)
--- a/pkg/make_proto.sh.in
+++ b/pkg/make_proto.sh.in
@@ -1,4 +1,4 @@
-#!/bin/sh
+#! @SCRIPT_SH@
 # $Id$
 #
 #      Tim Rice        Wed Sep 24 18:19:04 PDT 1997