diff options
author | John Hodge (Mutabah) <acessdev@gmail.com> | 2018-09-30 21:35:32 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-30 21:35:32 +0800 |
commit | bd3d69813cc54439fdc0db33943fa1254db3df06 (patch) | |
tree | 389b3f9fff419bd38275fddbf63fcbf3142d2f1c /tools/testrunner/main.cpp | |
parent | d85ac84278fa0322f1df0b16a45a1cdde83cba57 (diff) | |
parent | fe8018c3b2e2be2c3153a5c1a1bb73cd9c6ca370 (diff) | |
download | mrust-bd3d69813cc54439fdc0db33943fa1254db3df06.tar.gz |
Merge pull request #84 from thepowersgang/ondemand-generation
Generate MIR when required for constant evaluation
Diffstat (limited to 'tools/testrunner/main.cpp')
-rw-r--r-- | tools/testrunner/main.cpp | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/tools/testrunner/main.cpp b/tools/testrunner/main.cpp index 5c21937d..3823215a 100644 --- a/tools/testrunner/main.cpp +++ b/tools/testrunner/main.cpp @@ -103,7 +103,8 @@ bool run_compiler(const ::helpers::path& source_file, const ::helpers::path& out // Force optimised and debuggable args.push_back("-O"); - args.push_back("-g"); + // TODO: Only turn debug on when requested by the caller + //args.push_back("-g"); args.push_back("-L"); args.push_back("output"); @@ -386,14 +387,6 @@ int main(int argc, const char* argv[]) else continue; } - -#ifdef __linux__ - // Run `strip` on the test (if on linux) - // XXX: Make this cleaner, or remove the need for it (by dynamic linking libstd) - if( !run_executable("/usr/bin/strip", { "strip", outfile.str().c_str() }, "/dev/null") ) - { - } -#endif } else { |