-
Christian Hergert authored
If your system uses an alternate make (such as kmk for virtual box) you might need to set that in build preferences. This allows us to use the proper command to execute builds.
ee814271
If your system uses an alternate make (such as kmk for virtual box) you might need to set that in build preferences. This allows us to use the proper command to execute builds.