citrun

commit 92f53e406565792467b57523a7319d926280f981
parent c31eeb2c4387cd35a0a75dabf87bffd225ade36f
Author: Kyle Milz <kyle@0x30.net>
Date:   Sun,  4 Dec 2016 19:47:55 -0700

src: remove unneeded check

Diffstat:
M
src/inst_frontend.cc
 | 
3
---

1 file changed, 0 insertions(+), 3 deletions(-)
diff --git a/src/inst_frontend.cc b/src/inst_frontend.cc
@@ -228,9 +228,6 @@ InstrumentFrontend::process_cmdline()
 		return;
 
 	m_log << "No source files found on command line." << std::endl;
-	if (m_is_citruninst)
-		exit(0);
-
 	exec_compiler();
 }