diff --git a/tests/compile_all.ini b/tests/compile_all.ini
index 5a6aaead..895f71e3 100644
--- a/tests/compile_all.ini
+++ b/tests/compile_all.ini
@@ -5,6 +5,7 @@
 ;
 [regexp=(\\|\/)contrib$]
 [regexp=(\\|\/)crypto$]
+[regexp=(\\|\/)dev$]
 
 ; The following is for Eiffelstudio < 7.0