From 7bdf6fc3fb7ab7906116f0e0cc89928c4525dd93 Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <stanisci.m@gmail.com>
Date: Thu, 21 Nov 2019 17:29:51 +0100
Subject: remove obsolete script

---
 bin/taler-deployment-build | 28 ----------------------------
 1 file changed, 28 deletions(-)
 delete mode 100755 bin/taler-deployment-build

diff --git a/bin/taler-deployment-build b/bin/taler-deployment-build
deleted file mode 100755
index ef22492..0000000
--- a/bin/taler-deployment-build
+++ /dev/null
@@ -1,28 +0,0 @@
-#!/bin/bash
-
-# Invocation
-# $ taler-deployment-build [--coverage]
-
-set -eu
-
-if ! test $HOME/activate; then
-  echo "$HOME/activate not found.  Although the compilation
-       is not affected, testcases will fail because the database
-       cannot be launched"
-  exit
-fi
-
-source $HOME/activate
-
-cd $HOME/stamps
-./invalidate.sh
-
-export GNUNET_FORCE_LOG="util;;;;WARNING/taler;;;;DEBUG/twister;;;;DEBUG/test;;;;DEBUG"
-
-if test ${1:-notgiven} = "--coverage"; then
-  make lcov
-else
-  # NOTE: when deployment.git changes, the 'make' command
-  # below will start on the OLD Makefile anyway!
-  make
-fi
-- 
cgit v1.2.3