# HG changeset patch
# User Bill Welliver <hww3@riverweb.com>
# Date 1653069715 14400
#      Fri May 20 14:01:55 2022 -0400
# Node ID 7748fb05b4a565199283a5190aeaef5c23b10813
# Parent  d40267bde94e0ab26659565f1c76ee8613e05dc8
allow overriding of executable, etc.

diff --git a/bin/fins.sh b/bin/fins.sh
--- a/bin/fins.sh
+++ b/bin/fins.sh
@@ -18,5 +18,6 @@
     exit 1
   fi
   shift 1
+  echo $PIKE $PIKE_ARGS -x fins $ARG0 SpeedyDelivery $*
   exec $PIKE $PIKE_ARGS -x fins $ARG0 SpeedyDelivery $*
 
diff --git a/bin/start.sh b/bin/start.sh
--- a/bin/start.sh
+++ b/bin/start.sh
@@ -3,6 +3,10 @@
 PATH=$PATH
 PIKE_ARGS="-DSINGLE_TENANT"
 
+ if [ "x$PIKE" = "x" ] ; then
+    PIKE=pike
+  fi
+
   if [ x$FINS_HOME != "x" ]; then
     PIKE_ARGS="$PIKE_ARGS -M$FINS_HOME/lib"
   else
@@ -10,4 +14,4 @@
   fi
 
   cd `dirname $0`/../..
-  exec pike $PIKE_ARGS -x fins start -a SpeedyDelivery $*
+  exec $PIKE $PIKE_ARGS -x fins start -a SpeedyDelivery $*