summaryrefslogtreecommitdiff
path: root/tools/testrunner/main.cpp
diff options
context:
space:
mode:
authorJohn Hodge (Mutabah) <acessdev@gmail.com>2018-09-30 21:35:32 +0800
committerGitHub <noreply@github.com>2018-09-30 21:35:32 +0800
commitbd3d69813cc54439fdc0db33943fa1254db3df06 (patch)
tree389b3f9fff419bd38275fddbf63fcbf3142d2f1c /tools/testrunner/main.cpp
parentd85ac84278fa0322f1df0b16a45a1cdde83cba57 (diff)
parentfe8018c3b2e2be2c3153a5c1a1bb73cd9c6ca370 (diff)
downloadmrust-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.cpp11
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
{