mirror of
https://github.com/saymrwulf/pulp-runtime.git
synced 2026-05-14 20:48:09 +00:00
16 lines
321 B
Bash
16 lines
321 B
Bash
#!/bin/bash -e
|
|
|
|
export PULPRT_TARGET=pulpissimo
|
|
export PULPRUN_TARGET=pulpissimo
|
|
export USE_IBEX=1
|
|
|
|
if [ -n "${ZSH_VERSION:-}" ]; then
|
|
DIR="$(readlink -f -- "${(%):-%x}")"
|
|
scriptDir="$(dirname $DIR)"
|
|
else
|
|
|
|
scriptDir="$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"
|
|
|
|
fi
|
|
|
|
source $scriptDir/common.sh
|