Branch: Tag:

2003-01-23

2003-01-23 16:40:13 by Martin Nilsson <mani@lysator.liu.se>

No longer duplicates --remove-dumped for every restart. (1.197)

Rev: server/start:1.209

1:   #!/bin/sh   # - # $Id: start,v 1.208 2003/01/14 22:12:56 mani Exp $ + # $Id: start,v 1.209 2003/01/23 16:40:13 mani Exp $      ### If --silent-start is given as the first argument,   ### nothing will be printed to stdout by the script.
132:      gdb=no    + remove_dumped_passed=no   remove_old_dot_o_files () {    dp "Removing old precompiled files ($1)"    # This really cannot be done from here anymore -- pass on an option    # to loader instead. -  +  +  # Make sure that the argument isn't duplicated for every restart... +  if [ "x$remove_dumped_passed" = "xyes" ]; then :; else    pass="$pass --remove-dumped" -  +  remove_dumped_passed=yes +  fi   }      ## Parse all arguments.