diff options
Diffstat (limited to 'release/picobsd/build/clean')
| -rwxr-xr-x | release/picobsd/build/clean | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/release/picobsd/build/clean b/release/picobsd/build/clean index 52684636db63..6c170825e15f 100755 --- a/release/picobsd/build/clean +++ b/release/picobsd/build/clean @@ -1,7 +1,7 @@ #! /bin/sh - # -# $Id: clean,v 1.2 1998/09/03 10:40:27 abial Exp $ +# $Id: clean,v 1.3 1998/09/04 19:38:57 abial Exp $ # set -e @@ -22,6 +22,7 @@ rm -f kernel kernel.kz fs.PICOBSD picobsd.bin *.o *core *.db rm -f picobsd.bin cd .. rm -f custom +rm -rf help/tmp_hlp for j in $list do echo "===================== $0 $j started ======================" |