Roger Luethi 49231a7bde labs: protect downloader.js from deletion ...

In its current location, the download helper for Window batch scripts,
downloader.js, gets deleted when the Windows batch scripts are generated
(due to a call to clean_dir).

This patch moves downloader.js to the tools directory where it remains
safe from clean_dir.

Change-Id: I48f3daf613e8517dfb9256af298e9e43f76289bc

2015-04-19 17:57:35 +02:00

482 B

Raw Blame History

View Raw