#!/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
+case "${OLD_SECNET_DIR-:?must be set, perhaps to the empty string}" in
''|/*)
;;
../*)