diff options
-rwxr-xr-x | help_diff.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/help_diff.sh b/help_diff.sh index f90e3d007b..165e573cdb 100755 --- a/help_diff.sh +++ b/help_diff.sh @@ -1,4 +1,4 @@ -#! /bin/bash +#! /bin/sh # This script walks through the master (stdin) help/message file, and # prints (stdout) only those messages which are missing from the help @@ -26,3 +26,4 @@ if test $curr != "x" ; then fi done + |