From 50223b12f7031a31c7ab50388c93cfe5ceaf4735 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <github@djoce.net>
Date: Tue, 20 Mar 2012 16:15:16 +0100
Subject: [PATCH] Do not try to compile_all in "dev" folder

---
 tests/compile_all.ini | 1 +
 1 file changed, 1 insertion(+)

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