From d6fb69c26c1ed966b41d3d1f09b40638fce3e521 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <karel.koci@nic.cz>
Date: Mon, 19 Feb 2018 15:59:32 +0100
Subject: Drop files that shouldn't be in master

These files are my personal ones and shouldn't be there when we are
releasing this as a tool to public.
---
 build_deploy.sh | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100755 build_deploy.sh

(limited to 'build_deploy.sh')

diff --git a/build_deploy.sh b/build_deploy.sh
deleted file mode 100755
index 80572d0..0000000
--- a/build_deploy.sh
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/bin/sh
-
-cd "$(dirname "$0")"
-
-./build_repo.sh "$@"
-
-deploy() {
-	local TARGET="cynerd.cz:/var/www/myrepo"
-	ssh cynerd.cz -- mkdir -p "/var/www/myrepo/$1" # Make sure that directory exists
-	echo -e "\e[1;34mDeploy $1\e[0m"
-	scp repo/$1/* $TARGET/$1/
-
-	.$1-sdk/staging_dir/host/bin/usign -S -s key.sec -m $1.lua
-	scp $1.lua $TARGET/$1.lua
-	scp $1.lua.sig $TARGET/$1.lua.sig
-	rm $1.lua.sig
-}
-
-[ ! -d repo/omnia ] || deploy omnia
-[ ! -d repo/turris ] || deploy turris
-- 
cgit v1.2.3