| Index: tools/bash-completion.sh
|
| diff --git a/tools/bash-completion.sh b/tools/bash-completion.sh
|
| index 4c1879d9b259a2cd15ffc6b53d34d66722b7de36..07d9a5c51546037e264b8245b4d37996e54648f1 100755
|
| --- a/tools/bash-completion.sh
|
| +++ b/tools/bash-completion.sh
|
| @@ -48,7 +48,7 @@ _v8_flag() {
|
| cat src/d8.cc \
|
| | grep "strcmp(argv\[i\]" \
|
| | sed -ne 's/^[^"]*"--\([^"]*\)".*/--\1/p')
|
| - COMPREPLY=($(compgen -W "$targets" -- "$cur"))
|
| + COMPREPLY=($(compgen -W "$targets" -- "$cur") $(compgen -f -- "$cur"))
|
| return 0
|
| }
|
|
|
|
|