diff options
Diffstat (limited to 'user/mksh/fix-deprecated-fgrep.patch')
| -rw-r--r-- | user/mksh/fix-deprecated-fgrep.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/user/mksh/fix-deprecated-fgrep.patch b/user/mksh/fix-deprecated-fgrep.patch new file mode 100644 index 000000000..03f701f78 --- /dev/null +++ b/user/mksh/fix-deprecated-fgrep.patch @@ -0,0 +1,22 @@ +--- a/check.t ++++ b/check.t +@@ -6728,7 +6728,7 @@ + echo FNORD-7 + typeset - + echo FNORD-8 +- } | fgrep FNORD ++ } | grep -F FNORD + fnord=(42 23) + typeset -p fnord + echo FNORD-9 +@@ -8641,8 +8641,8 @@ + (echo x; exit 12) | (cat; exit 23) | (cat; exit 42) + echo 5 $? , $PIPESTATUS , ${PIPESTATUS[0]} , ${PIPESTATUS[1]} , ${PIPESTATUS[2]} , ${PIPESTATUS[3]} . + echo 6 ${PIPESTATUS[0]} . +- set | fgrep PIPESTATUS +- echo 8 $(set | fgrep PIPESTATUS) . ++ set | grep -F PIPESTATUS ++ echo 8 $(set | grep -F PIPESTATUS) . + expected-stdout: + 1 0 . + 2 0 . |