diff options
Diffstat (limited to 'release/scripts/extract_proflibs.sh')
-rw-r--r-- | release/scripts/extract_proflibs.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/release/scripts/extract_proflibs.sh b/release/scripts/extract_proflibs.sh index 4ce30fb..f9ebf39 100644 --- a/release/scripts/extract_proflibs.sh +++ b/release/scripts/extract_proflibs.sh @@ -1,5 +1,6 @@ #!/bin/sh -# $Id: extract_proflibs.sh,v 1.1 1995/01/14 07:41:44 jkh Exp $ +# $Id: extract_proflibs.sh,v 1.2 1995/01/28 09:11:36 jkh Exp $ +set -e PATH=/stand:$PATH DDIR=/ |