diff options
Diffstat (limited to 'release/scripts/extract_info.sh')
| -rw-r--r-- | release/scripts/extract_info.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/release/scripts/extract_info.sh b/release/scripts/extract_info.sh index 003d363..f35ed05 100644 --- a/release/scripts/extract_info.sh +++ b/release/scripts/extract_info.sh @@ -1,5 +1,6 @@ #!/bin/sh -# $Id: extract.sh,v 1.17 1994/12/04 03:41:18 jkh Exp $ +# $Id: extract_info.sh,v 1.1 1995/01/14 07:41:42 jkh Exp $ +set -e PATH=/stand:$PATH DDIR=/ |
