From 3399ba3ae52d9700e9d4532297675cfe49a4eb7c Mon Sep 17 00:00:00 2001 From: Michael Kerrisk Date: Wed, 19 Oct 2005 12:42:20 +0000 Subject: [PATCH] minor fixes --- scripts/find_dots_no_parens.sh | 3 +-- scripts/find_slashes_no_parens.sh | 1 + 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/find_dots_no_parens.sh b/scripts/find_dots_no_parens.sh index 7472b7a9c..b30c7d527 100644 --- a/scripts/find_dots_no_parens.sh +++ b/scripts/find_dots_no_parens.sh @@ -62,6 +62,5 @@ echo '}' >> $awk_script_file grep '^\.[BRI][BRI]* [a-zA-Z0-9_][a-zA-Z0-9_]*[^a-zA-Z_]*$' $* | awk -f $awk_script_file | grep -v '([0-9]*)' -exit 0 rm -f $awk_script_file - +exit 0 diff --git a/scripts/find_slashes_no_parens.sh b/scripts/find_slashes_no_parens.sh index e67369f80..1b4c0c498 100644 --- a/scripts/find_slashes_no_parens.sh +++ b/scripts/find_slashes_no_parens.sh @@ -59,3 +59,4 @@ echo "Built regexp file; now about to grep..." 1>&2 grep -f $regexp_file $* rm -f $regexp_file +exit 0