diff options
| author | Damiano Galassi <[email protected]> | 2016-12-31 12:04:06 +0100 |
|---|---|---|
| committer | Damiano Galassi <[email protected]> | 2016-12-31 12:04:06 +0100 |
| commit | bcb1729a994d1e508584340c8fd82075223b3824 (patch) | |
| tree | 4ef54bfb308ff5aad5b5962705fc912c67b6d8ba /make | |
| parent | 7ba75322da188f3e44591908649df96af39fd3c3 (diff) | |
MacGui: check if a file overwrites its source before adding it to the queue.
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions