diff options
| -rw-r--r-- | scripts/lib/devtool/deploy.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/lib/devtool/deploy.py b/scripts/lib/devtool/deploy.py index d181135a9d..04c34cb016 100644 --- a/scripts/lib/devtool/deploy.py +++ b/scripts/lib/devtool/deploy.py | |||
| @@ -64,7 +64,7 @@ def _prepare_remote_script(deploy, verbose=False, dryrun=False, undeployall=Fals | |||
| 64 | lines.append(' rmdir $file > /dev/null 2>&1 || true') | 64 | lines.append(' rmdir $file > /dev/null 2>&1 || true') |
| 65 | lines.append(' fi') | 65 | lines.append(' fi') |
| 66 | lines.append(' else') | 66 | lines.append(' else') |
| 67 | lines.append(' rm $file') | 67 | lines.append(' rm -f $file') |
| 68 | lines.append(' fi') | 68 | lines.append(' fi') |
| 69 | lines.append(' done') | 69 | lines.append(' done') |
| 70 | if not dryrun: | 70 | if not dryrun: |