From 9f7e0ed031ba8cd3f4bdbb3cb41587ec763d21d4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Fri, 21 Dec 2018 00:52:11 +0100
Subject: Add tiv program

---
 hooks/tiv_builder.sh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 hooks/tiv_builder.sh

(limited to 'hooks/tiv_builder.sh')

diff --git a/hooks/tiv_builder.sh b/hooks/tiv_builder.sh
new file mode 100644
index 0000000..ea16682
--- /dev/null
+++ b/hooks/tiv_builder.sh
@@ -0,0 +1,8 @@
+orig=$(declare -f preConfigure)
+new_name="preConfigure2 ${orig#preConfigure}"
+eval "$new_name"
+
+preConfigure() {
+  preConfigure2 || true
+}
+
-- 
cgit v1.2.3