diff options
Diffstat (limited to 'src/main.cpp')
| -rw-r--r-- | src/main.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main.cpp b/src/main.cpp index 28889159..c534ff15 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -174,6 +174,7 @@ int main(int argc, char *argv[]) Cfg_SetFlag("unix"); Cfg_SetFlag("linux"); Cfg_SetValue("target_os", "linux"); + Cfg_SetValue("target_family", "unix"); Cfg_SetValue("target_pointer_width", "64"); Cfg_SetValue("target_endian", "little"); Cfg_SetValue("target_arch", "x86_64"); @@ -437,6 +438,9 @@ int main(int argc, char *argv[]) CompilePhaseV("MIR Validate PO", [&]() { MIR_CheckCrate(*hir_crate); }); + CompilePhaseV("MIR Validate Full", [&]() { + //MIR_CheckCrate_Full(*hir_crate); + }); if( params.last_stage == ProgramParams::STAGE_MIR ) { return 0; |