aboutsummaryrefslogtreecommitdiff
path: root/dejagnu
diff options
context:
space:
mode:
Diffstat (limited to 'dejagnu')
-rwxr-xr-xdejagnu2
1 files changed, 1 insertions, 1 deletions
diff --git a/dejagnu b/dejagnu
index 6cd52f6..7e75940 100755
--- a/dejagnu
+++ b/dejagnu
@@ -402,7 +402,7 @@ if $want_help ; then
exit 2
fi
help_prefix_pat=$(grep '#help' "$help_file" \
- | sed 's/#help.*$//;1q' | tr '[:print:][:blank:]' .)
+ | sed -e 's/#help.*$//' -e '1q' | tr '[:print:][:blank:]' .)
if expr "$verbose" \> 1 > /dev/null ; then
echo Extracting help from "'$help_file'" with prefix "'$help_prefix_pat'"
fi