Peter Collingbourne fe5d6e8c0f Add USES_TERMINAL option for custom commands ...

Teach the add_custom_command and add_custom_target commands a new
USES_TERMINAL option.  Use it to tell the generator to give the command
direct access to the terminal if possible.

2014-11-14 11:55:09 -05:00

7.6 KiB

Raw Blame History

View Raw