It is usually better to not deleted a file before needing to copy it !
commit6807a08a7e5fd68984c798bb946d901c3c502e4d
author3djc <lesitewebdejc@hotmail.com>
Sun, 19 Mar 2017 16:33:43 +0000 (19 17:33 +0100)
committer3djc <lesitewebdejc@hotmail.com>
Sun, 19 Mar 2017 16:33:43 +0000 (19 17:33 +0100)
treea833ba87aac0b28b86fb50c1998347dd4587df05
parentb01de7797cac47a2513edb17e36c73ccac4c48c3
It is usually better to not deleted a file before needing to copy it !
tools/nightly22/build-nightly.sh