Roxen.git/ server/ start

2000-03-31

2000-03-31 02:26:04 by Martin Nilsson <mani@lysator.liu.se>

• 024c7ebbe461c3d07c65389b2d3dfeddf5e5574c (5 lines) (+3/-2) ^{[ Show | Annotate ]}
  Branch: 5.2

Resetting -DSER

Rev: server/start:1.107

1:   #!/bin/sh   # - # $Id: start,v 1.106 2000/03/30 19:57:38 leif Exp $ + # $Id: start,v 1.107 2000/03/31 02:26:04 nilsson Exp $      pre="`echo \" $$ \" | sed -e 's/\(.........\)\(.*\)/\1/g'` :"   
506:    echo "$pre" "Using '$pike'"|sed -e "s!`pwd`!.!g"    fi    fi -  #args="-DSERIOUS $args" +  args="-DSERIOUS $args"    $pike $args $@    else    echo "$pre" Executing gdb $pike $args $@