diff options
Diffstat (limited to 'Help/prop_gbl/RULE_LAUNCH_COMPILE.rst')
| -rw-r--r-- | Help/prop_gbl/RULE_LAUNCH_COMPILE.rst | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Help/prop_gbl/RULE_LAUNCH_COMPILE.rst b/Help/prop_gbl/RULE_LAUNCH_COMPILE.rst new file mode 100644 index 000000000..e0df8784a --- /dev/null +++ b/Help/prop_gbl/RULE_LAUNCH_COMPILE.rst @@ -0,0 +1,11 @@ +RULE_LAUNCH_COMPILE +------------------- + +Specify a launcher for compile rules. + +:ref:`Makefile Generators` and the :generator:`Ninja` generator prefix +compiler commands with the given launcher command line. +This is intended to allow launchers to intercept build problems +with high granularity. Other generators ignore this property +because their underlying build systems provide no hook to wrap +individual commands with a launcher. |