Skip to content
Snippets Groups Projects
Commit ab911961 authored by Petr Rockai's avatar Petr Rockai
Browse files

tools: Trace the bindir and srcdir passed to runtime-cc.

parent 8e2bac73
No related branches found
No related tags found
No related merge requests found
...@@ -40,6 +40,7 @@ int main( int argc, const char **argv ) ...@@ -40,6 +40,7 @@ int main( int argc, const char **argv )
} }
auto mod = clang.compile( argv[3], opts ); auto mod = clang.compile( argv[3], opts );
TRACE( "bindir =", binDir, "srcdir =", srcDir );
lart::divine::rewriteDebugPaths( *mod, [=]( auto p ) lart::divine::rewriteDebugPaths( *mod, [=]( auto p )
{ {
auto n = p; auto n = p;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment