diff --git a/bin/runphp b/bin/runphp index a3aa6dc..e8e7ead 100755 --- a/bin/runphp +++ b/bin/runphp @@ -1,7 +1,6 @@ #!/bin/bash # -*- coding: utf-8 mode: sh -*- vim:sw=4:sts=4:et:ai:si:sta:fenc=utf-8 -MYDIR="$(dirname -- "$0")"; MYNAME="$(basename -- "$0")" -function die() { echo 1>&2 "ERROR: $*"; exit 1; } +source "$(dirname -- "$0")/../load.sh" || exit 1 case "$MYNAME" in runphp) ;;