Branch: Tag:

2003-01-21

2003-01-21 00:14:36 by Martin Nilsson <mani@lysator.liu.se>

Made Pike version selectable.

Rev: aido-server.in:1.6

3:   DEFINES=""   ARGS=""   once=0 + PIKE=pike      if [ -f @DIR@/CVS/Entries ] ; then    VERSION="cvs-@VERSION@"
71:   start_server() {    if [ ! x$DEBUG = x ] ; then    echo cd "@DIR@/programs/server" -  pikeversion=`pike --version 2>&1 | head -1` +  pikeversion=`$PIKE --version 2>&1 | head -1`    echo "Pike version: $pikeversion." -  echo exec pike "$ARGS" +  echo exec $PIKE "$ARGS"    fi -  pike $ARGS +  $PIKE $ARGS   }      if [ x$once = 'x0' ] ; then