Roxen.git/ server/ start

1999-12-06

1999-12-06 22:53:00 by Martin Stjernholm <mast@lysator.liu.se>

• 41d94dc2a57c2740cdf14089a6cd8124a733261e (4 lines) (+2/-2) ^{[ Show | Annotate ]}
  Branch: 5.2

.remove_dumped_mark is not used anymore.

Rev: server/start:1.83

1:   #!/bin/sh   # - # $Id: start,v 1.82 1999/11/24 17:33:16 per Exp $ + # $Id: start,v 1.83 1999/12/06 22:53:00 mast Exp $      pre="`echo \" $$ \" | sed -e 's/\(.........\)\(.*\)/\1/g'` :"   
63:      remove_old_dot_o_files () {    echo "$pre Removing old .o files ($1)" -  > "$roxendir/.remove_dumped_mark" +     find precompiled -name '*.o' | xargs rm -f   }