c46cd333655d9d460645ccbfb6c014a05c8159ee hiram Mon Feb 23 11:10:16 2015 -0800 use bash redirection instead of /dev/stderr in case of cron job operations refs #14821 diff --git src/utils/gitTools/gitFiles src/utils/gitTools/gitFiles index b8cd6cf..e8ae44c 100755 --- src/utils/gitTools/gitFiles +++ src/utils/gitTools/gitFiles @@ -1,22 +1,22 @@ #!/bin/bash usage='gitFiles [-h] [dir ...] Run git ls-tree and generate list of files under git using the current working or specified directories. Options: -h or -help - print this message' while [[ $1 == -* ]] ; do opt=$1 shift case "$opt" in - -h) echo "$usage" > /dev/stderr + -h) echo "$usage" 1>&2 exit 1 ;; - *) echo "Error: invalid option: $opt" > /dev/stderr - echo "$usage" > /dev/stderr + *) echo "Error: invalid option: $opt" 1>&2 + echo "$usage" 1>&2 exit 1 ;; esac done git ls-tree -r --name-only HEAD "$@"