1 files changed, 0 insertions, 18 deletions

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