diff options
Diffstat (limited to 'Config.kmk')
-rw-r--r-- | Config.kmk | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Config.kmk b/Config.kmk index 1f67b0131b0..a5f8b3e3256 100644 --- a/Config.kmk +++ b/Config.kmk @@ -1385,6 +1385,21 @@ else endif endif + +ifdef VBOX_WITH_PARFAIT + # + # This includes the tool overrides for running with parfait. + # Ideally there would be a dedicated parfait tool but when targetting + # different hosts with different compiler toolchains and compiler flags + # we would have to duplicate a lot of the already existing tools for each + # supported toolchain. Instead we just override the paths to the compilers + # for the currently used tools (as this is kind of static and doesn't change that often). + # To not clutter this file too much this lives in a separate file. + # + include $(PATH_ROOT)/tools/ParfaitConfig.kmk +endif + + # # Allow to overwrite the branding information from an external file # |