diff --git a/src/test/cpp/regression/main.cpp b/src/test/cpp/regression/main.cpp
index 2730c46..1714946 100644
--- a/src/test/cpp/regression/main.cpp
+++ b/src/test/cpp/regression/main.cpp
@@ -3847,7 +3847,9 @@ int main(int argc, char **argv, char **env) {
             #endif
 
 			#ifdef DEBUG_PLUGIN
+			#ifndef CONCURRENT_OS_EXECUTIONS
 				redo(REDO,DebugPluginTest().run(1e6););
+            #endif
 			#endif
 		#endif
 
diff --git a/src/test/cpp/regression/makefile b/src/test/cpp/regression/makefile
index a657f1c..76d43dc 100644
--- a/src/test/cpp/regression/makefile
+++ b/src/test/cpp/regression/makefile
@@ -51,7 +51,9 @@ else
 	ADDCFLAGS += -CFLAGS -O3  -O3
 endif
 
-
+ifeq ($(CONCURRENT_OS_EXECUTIONS),yes)
+	ADDCFLAGS += -CCONCURRENT_OS_EXECUTIONS
+endif
 
 ifeq ($(LITEX),yes)
 	ADDCFLAGS += -CFLAGS -DLITEX