ci: Fixes

This commit is contained in:
Anmol Sethi 2022-11-16 03:16:57 -08:00
parent 0ede175562
commit 756a2315d9
No known key found for this signature in database
GPG key ID: 25BC68888A99A8BA
4 changed files with 8 additions and 4 deletions

View file

@ -4,14 +4,14 @@ cd -- "$(dirname "$0")/.."
. ./scripts/lib.sh . ./scripts/lib.sh
main() { main() {
if [ ! -e "${PREFIX-}" ]; then if [ -z "${PREFIX-}" ]; then
echoerr "\$PREFIX must be set to a unix prefix directory in which to install d2 like /usr/local" echoerr "\$PREFIX must be set to a unix prefix directory in which to install d2 like /usr/local"
return 1 return 1
fi fi
sh_c mkdir -p "$PREFIX/bin" sh_c mkdir -p "$PREFIX/bin"
sh_c mkdir -p "$PREFIX/share/man/man1"
sh_c install ./bin/d2 "$PREFIX/bin/d2" sh_c install ./bin/d2 "$PREFIX/bin/d2"
sh_c mkdir -p "$PREFIX/share/man/man1"
sh_c install ./man/d2.1 "$PREFIX/share/man/man1" sh_c install ./man/d2.1 "$PREFIX/share/man/man1"
} }

View file

@ -1,5 +1,9 @@
#!/bin/sh #!/bin/sh
if [ -n "${DEBUG-}" ]; then
set -x
fi
rand() { rand() {
seed="$1" seed="$1"
range="$2" range="$2"

View file

@ -4,7 +4,7 @@ cd -- "$(dirname "$0")/.."
. ./scripts/lib.sh . ./scripts/lib.sh
main() { main() {
if [ ! -e "${PREFIX-}" ]; then if [ -z "${PREFIX-}" ]; then
echoerr "\$PREFIX must be set to a unix prefix directory from which to uninstall d2 like /usr/local" echoerr "\$PREFIX must be set to a unix prefix directory from which to uninstall d2 like /usr/local"
return 1 return 1
fi fi

2
ci/sub

@ -1 +1 @@
Subproject commit 237ad4b4bc52c0b27eb9d9b7e1496d8a9453dd05 Subproject commit 75d882344578aa409a8f81c8f1ee931e0f0297d0