1 files changed, 3 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 60d87aef516..aa532b65bb4 100644
--- a/Makefile
+++ b/Makefile
@@ -32,6 +32,9 @@ gdbtestenv:
 quicktest:
 	$(WAF) test --quick $(TEST_OPTIONS)
 
+randomized-test:
+	$(WAF) test --random-order $(TEST_OPTIONS)
+
 dist:
 	touch .tmplock
 	WAFLOCK=.tmplock $(WAF) dist