From e65e1eaac335a4738abb9e8ee8da7a229f96c2c0 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Sat, 17 Oct 2015 21:23:45 +0200
Subject: Drafts

---
 default.result.do | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 default.result.do

(limited to 'default.result.do')

diff --git a/default.result.do b/default.result.do
deleted file mode 100644
index 56be121..0000000
--- a/default.result.do
+++ /dev/null
@@ -1,18 +0,0 @@
-case $2 in
-  servant)
-    dir=servant
-    name=thermoprint-servant
-    ;;
-  *)
-    dir=$2
-    name=$2
-    ;;
-esac
-
-find $dir \( -name '*.hs' -or -name '*.cabal' -or -name '*.nix' \) -print0 | xargs --verbose --null redo-ifchange
-
-redo-ifchange default.nix
-
-nix-build -A $name -o $dir.result-link 1>&2
-
-exec readlink $dir.result-link
\ No newline at end of file
-- 
cgit v1.2.3