Branch: Tag:

1999-05-25

1999-05-25 20:45:46 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Fixed bug with --gdb

Rev: server/start:1.67

1:   #!/bin/sh   # - # $Id: start,v 1.66 1999/05/25 15:53:28 mast Exp $ + # $Id: start,v 1.67 1999/05/25 20:45:46 grubba Exp $      cd `dirname $0`   
46:    fi   fi    + gdb=no      ## Parse all arguments.   ## GNU-style, long options only, except for -D, simply passed on.
334:    DEFINES="$DEFINES -DHPUX_KLUDGE"   fi    - gdb=no -  +    ####### END PIKE OPTIONS