From f5c6d4769363dae5d55ea900a6ca885cb02e41e7 Mon Sep 17 00:00:00 2001
From: Joris
Date: Mon, 14 Nov 2016 16:57:51 +0100
Subject: Update tooling

---
 build | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100755 build

(limited to 'build')

diff --git a/build b/build
new file mode 100755
index 0000000..9e5cca5
--- /dev/null
+++ b/build
@@ -0,0 +1,2 @@
+#!/bin/sh
+nix-shell --command "make clean install build"
-- 
cgit v1.2.3