From 9e5676b951556694596220384e34325b5ba23047 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 20 Dec 2013 11:07:02 +0100
Subject: [PATCH] turnig off builds altogether

---
 scripts/builds.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/builds.sh b/scripts/builds.sh
index 13f1c62..40da7e8 100755
--- a/scripts/builds.sh
+++ b/scripts/builds.sh
@@ -1,5 +1,8 @@
 #!/bin/bash
 
+### TURNING OFF for x-mas vacations
+exit 0
+
 # the tests flavours available
 # -B means no test
 # -c default for the tests setup is one myplc
-- 
2.43.0