diff options
Diffstat (limited to 'tool')
-rwxr-xr-x | tool/git-refresh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tool/git-refresh b/tool/git-refresh index 2f41ba1b9d..48096fde36 100755 --- a/tool/git-refresh +++ b/tool/git-refresh @@ -1,7 +1,7 @@ #!/bin/sh set -e -if cd -P . 2>/dev/null; then +if (cd -P .) 2>/dev/null; then CHDIR='cd -P' else CHDIR='cd' |