blob: ec79fcc61e53ca3c747c8e39b2cdac4284cb8650 (
plain) (
tree)
|
|
#!/bin/bash
ORIG_CWD="$(pwd)"
BASEDIR="$(dirname "$0")"
EXECUTABLE="./map-server"
cd "${BASEDIR}"
if [ -z "$1" ]; then
exit -1
elif [[ "$1" =~ ^\/ ]]; then
FILE="$1"
else
FILE="${ORIG_CWD}/$1"
fi
if [ ! -x "$EXECUTABLE" ]; then
exit -1
fi
"$EXECUTABLE" --script-check "${FILE}" 2>&1
|