diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1997-06-04 18:32:07 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1997-06-04 18:32:07 +0000 |
commit | 139b2e4a00c3972322e3fa359ffab605fd11aa3f (patch) | |
tree | 6c65c9a7217387972f1d179c92ec4eac53d7f403 /doc/tools/update | |
parent | added CVS Id string (diff) | |
download | rtems-139b2e4a00c3972322e3fa359ffab605fd11aa3f.tar.bz2 |
added CVS Id string
Diffstat (limited to 'doc/tools/update')
-rw-r--r-- | doc/tools/update | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/tools/update b/doc/tools/update index 284bb3f2b2..06838612db 100644 --- a/doc/tools/update +++ b/doc/tools/update @@ -1,7 +1,5 @@ #!/bin/ksh # -# update,v 1.2 1995/05/31 17:20:58 joel Exp -# # Either bash or ksh will be ok for this; requires 'test -ot' # (-p above just says to not parse $ENV file; makes it faster for # those of us who set $ENV) @@ -10,6 +8,9 @@ # NOTE # # This is potentially a very dangerous program. +# +# $Id$ +# # progname=`basename $0` progname=${0##*/} # fast basename hack for ksh, bash |