remove dad-add-soirce-dep.sh (#7152)

This file recently came up in a PR to fix shebang lines, and I realized
it's not been touched since open-sourcing and is not referenced
anywhere in the repo.

CHANGELOG_BEGIN
CHANGELOG_END
This commit is contained in:
Gary Verhaegen 2020-08-17 12:59:59 +02:00 committed by GitHub
parent 8f0970c098
commit a3419f9db8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,32 +0,0 @@
# Copyright (c) 2020 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved.
# SPDX-License-Identifier: Apache-2.0
#!/bin/bash
set -e
# TODO (SM): properly wrap this script with help messages, error and sanity
# checks.
# dad-add-source-dep SOURCE TARGET
#
# Adds a source dependency link from SOURCE to TARGET
# dependencies are specified as <kind>/<package>
SRC=$1
TGT=$2
LINK_DIR=$SRC/$(dirname $TGT)
echo "mkdir -p $TGT"
echo "mkdir -p $LINK_DIR"
echo "ln -i -r -s -t $LINK_DIR $TGT"
mkdir -p $TGT
mkdir -p $LINK_DIR
ln -f -r -s -t $LINK_DIR $TGT