On 22/07/07, dslinux_amadeus at dslinux.in-berlin.de <dslinux_amadeus at dslinux.in-berlin.de> wrote: > +- rm -f "$OFILE.elf" # not needed for any reason > ++ rm -f "$OFILE.gdb" # not needed for any reason I think the .gdb is still useful. -- Malcolm Parsons