mirror of
https://github.com/dashpay/dash.git
synced 2024-12-24 19:42:46 +01:00
guix: more sanity checks for WORKSPACE_PATH
This commit is contained in:
parent
07f056a377
commit
f4d879a0b3
@ -4,8 +4,8 @@ set -eo pipefail
|
|||||||
|
|
||||||
WORKSPACE_PATH="${1:-$(pwd)}"
|
WORKSPACE_PATH="${1:-$(pwd)}"
|
||||||
|
|
||||||
if [[ ! -d "$WORKSPACE_PATH" ]]; then
|
if [[ ! -d "${WORKSPACE_PATH}" || ! "${WORKSPACE_PATH}" = /* || ! -f "${WORKSPACE_PATH}/contrib/guix/libexec/prelude.bash" ]]; then
|
||||||
echo "$0: $WORKSPACE_PATH is not a valid directory, exiting!"
|
echo "${0}: ${WORKSPACE_PATH} is not a valid directory, exiting!"
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
@ -4,8 +4,8 @@ set -eo pipefail
|
|||||||
|
|
||||||
WORKSPACE_PATH="${1:-$(pwd)}"
|
WORKSPACE_PATH="${1:-$(pwd)}"
|
||||||
|
|
||||||
if [[ ! -d "$WORKSPACE_PATH" ]]; then
|
if [[ ! -d "${WORKSPACE_PATH}" || ! "${WORKSPACE_PATH}" = /* || ! -f "${WORKSPACE_PATH}/contrib/guix/guix-build" ]]; then
|
||||||
echo "$0: $WORKSPACE_PATH is not a valid directory, exiting!"
|
echo "${0}: ${WORKSPACE_PATH} is not a valid directory, exiting!"
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user