Branch: Tag:

1999-09-06

1999-09-06 12:40:36 by Per Hedbor <ph@opera.com>

Fixed --remove-old-dot-o-files

Rev: server/start:1.76

1:   #!/bin/sh   # - # $Id: start,v 1.75 1999/09/05 02:19:34 per Exp $ + # $Id: start,v 1.76 1999/09/06 12:40:36 per Exp $      pre="`echo \" $$ \" | sed -e 's/\(.........\)\(.*\)/\1/g'` : "   
61:      gdb=no    + remove_old_dot_o_files () { +  echo "$pre Removing old .o files ($1)" +  find . -name '*.o' | xargs rm -f + } +  +    ## Parse all arguments.   ## GNU-style, long options only, except for -D, simply passed on.   parse_args() {
69:    -D*)    DEFINES="$DEFINES $1"    ;; +  -l*) +  DEFINES="$DEFINES $1" +  ;;   # Used by the 'install' script    --truss)    pike="truss $pike"
388:   # Some useful functions   #    - remove_old_dot_o_files () { -  echo "$pre Removing old .o files ($1)" -  find . -name '*.o' | xargs rm -f - } -  -  +    rotate () {    b=5;    for a in 4 3 2 1 ; do mv -f $1.$a $1.$b 2> /dev/null; b=$a; done