From 38255554031cc8d0a52bd9e1731a0a873b3349c7 Mon Sep 17 00:00:00 2001
From: tv <tv@nomic.retiolum>
Date: Wed, 6 Nov 2013 17:31:48 +0100
Subject: ship: s/deploy/make {,inst}all {,dist}clean/

---
 ship/deploy | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100755 ship/deploy

(limited to 'ship/deploy')

diff --git a/ship/deploy b/ship/deploy
deleted file mode 100755
index cb71d570..00000000
--- a/ship/deploy
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/sh
-set -xeuf
-cd $(dirname $0)
-exesrcdir=src
-libsrcdir=lib
-tmpoutdir=tmp
-for file in `ls $exesrcdir`; do
-  BUILD_PATH=$libsrcdir ./build compile $exesrcdir/$file $tmpoutdir/$file
-done
-- 
cgit v1.2.3