summaryrefslogblamecommitdiff
path: root/script-checker
blob: ec79fcc61e53ca3c747c8e39b2cdac4284cb8650 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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