From 8c4f6e37479002818bcfe7381cd4e4b47fd2d1fb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Fri, 26 Apr 2019 01:32:07 +0200
Subject: Start splitting nix environment to smaller files

---
 hooks/tiv_builder.sh | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 hooks/tiv_builder.sh

(limited to 'hooks')

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