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