From 03c8513b93885091a9569a30a1da75a056506360 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 19 Feb 2015 16:43:51 +0100
Subject: [PATCH] 5.3.7

---
 scripts/5.3.7.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 scripts/5.3.7.sh

diff --git a/scripts/5.3.7.sh b/scripts/5.3.7.sh
new file mode 100755
index 0000000..f861855
--- /dev/null
+++ b/scripts/5.3.7.sh
@@ -0,0 +1,9 @@
+function liquid () { hostname | grep liquid >& /dev/null ; }
+function reed () { hostname | grep reed >& /dev/null ; }
+
+liquid && /root/bin/lbuild-nightly.sh -s git://git.onelab.eu/build@5.3.7 -d onelab -f f14 -p linux64 -b onelab--5.3.7-f14-64
+# lbuild-nightly forgot to deal with -p very nicely, so here's the magic formula to build the f14/32 combo
+liquid && linux32 /root/bin/lbuild-nightly.sh -s git://git.onelab.eu/build@5.3.7 -d onelab -f f14 -p linux32 -b onelab--5.3.7-f14-32
+
+reed   && /root/bin/lbuild-nightly.sh -s git://git.onelab.eu/build@5.3.7 -d lxc    -f f18 -p linux64 -b lxc--5.3.7-f18-64
+reed   && /root/bin/lbuild-nightly.sh -s git://git.onelab.eu/build@5.3.7 -d lxc    -f f20 -p linux64 -b lxc--5.3.7-f20-64
-- 
2.47.0