diff --git a/kernel/driver.cc b/kernel/driver.cc
index eb1326ce0..b7f0268db 100644
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -314,7 +314,7 @@ int main(int argc, char **argv)
 		auto result = options.parse(argc, argv);
 
 		if (result.count("M")) memhasher_on();
-		if (result.count("X")) yosys_xtrace++;
+		if (result.count("X")) yosys_xtrace += result.count("X");
 		if (result.count("A")) call_abort = true;
 		if (result.count("Q")) print_banner = false;
 		if (result.count("T")) print_stats = false;