| commit | 7dbc283ce8ef3a419d7bba262c8a26d7303ff4b5 | [log] [tgz] |
|---|---|---|
| author | Petros Kalos <[email protected]> | Mon Jun 13 18:48:46 2016 +0100 |
| committer | Petros Kalos <[email protected]> | Mon Jun 13 18:48:46 2016 +0100 |
| tree | 99d5b230465b2fbe17064bf12b4dc6b88b8829d7 | |
| parent | 2b415bf8fc6ab035b6de6a14f3c579f91199fa2a [diff] |
use "${CMAKE_COMMAND} -E copy" instead of cp