diff options
Diffstat (limited to 'mk/main.mk')
| -rw-r--r-- | mk/main.mk | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/mk/main.mk b/mk/main.mk index 887247b80c4..9df04a6d43e 100644 --- a/mk/main.mk +++ b/mk/main.mk @@ -134,6 +134,11 @@ ifdef CFG_ENABLE_DEBUGINFO CFG_RUSTC_FLAGS += -g endif +ifdef CFG_ENABLE_ORBIT + $(info cfg: launching MIR (CFG_ENABLE_ORBIT)) + CFG_RUSTC_FLAGS += -Z orbit +endif + ifdef SAVE_TEMPS CFG_RUSTC_FLAGS += --save-temps endif |