diff options
| -rwxr-xr-x | tools/move.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/move.sh b/tools/move.sh index c129c598b0..7430c4d4d9 100755 --- a/tools/move.sh +++ b/tools/move.sh @@ -357,6 +357,7 @@ move_files() ( done ) ( + set -x cd shell-completion/bash for file in *; do if [[ -d ../src/"$file" ]]; then |