diff options
author | Joris | 2017-03-05 15:59:01 +0100 |
---|---|---|
committer | Joris | 2017-03-05 15:59:01 +0100 |
commit | cf4e104ddf64116eeac9777fef5ce203ec3686ce (patch) | |
tree | f96ecda2c35d2acca3cb3be1c470c24ab8f2c586 | |
parent | bacbeeb94f89aaad76b407b78446b50d3ece471f (diff) |
Remove build script
-rwxr-xr-x | build | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -1,2 +0,0 @@ -#!/bin/sh -nix-shell --command "make clean install build" |