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