| commit | aa155bef2c5129c8e5b138dadb625728be8e8e1f | [log] [tgz] |
|---|---|---|
| author | David Spickett <david.spickett@linaro.org> | Thu Feb 25 14:30:09 2021 +0000 |
| committer | David Spickett <david.spickett@linaro.org> | Thu Feb 25 14:38:10 2021 +0000 |
| tree | 90b272900535d64c7771787c7aebd3d8fdb1312a | |
| parent | 91688ff7ab0fe9b821db37809175639e0abc943a [diff] |
bot-status.py: Use shutil.move instead of os.rename os.rename fails if the source and destination are on different file systems. For instance my machine has /tmp and /work/<this repo> on different file systems. https://docs.python.org/3/library/os.html#os.rename shutil.move handles this for you. https: //docs.python.org/3/library/shutil.html#shutil.move Change-Id: I6cd6442413bb4a3ed5c6007a18fef327bfbc71c7