#!/bin/bash
+# This file is part of secnet.
+# See LICENCE and this file CREDITS for full list of copyright holders.
+# SPDX-License-Identifier: GPL-3.0-or-later
+# There is NO WARRANTY.
+
set -e
set -o pipefail
esac
done
+case "${OLD_SECNET_DIR-:?must be set, perhaps to the empty string}" in
+ ''|/*)
+ ;;
+ ../*)
+ OLD_SECNET_DIR="${PWD%/*}/${OLD_SECNET_DIR#../}"
+ echo >&2 "x OLD_SECNET_DIR=$OLD_SECNET_DIR"
+ ;;
+ *)
+ echo >&2 "relative non-.. OLD_SECNET_DIR $OLD_SECNET_DIR !";
+ exit 1
+ ;;
+esac
+
x () { echo >&2 "x $*"; "$@"; }
srcdir=$(pwd)