diff options
Diffstat (limited to 'script-checker')
| -rwxr-xr-x | script-checker | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/script-checker b/script-checker new file mode 100755 index 000000000..ec79fcc61 --- /dev/null +++ b/script-checker @@ -0,0 +1,18 @@ +#!/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 |