path: root/test-suite/coq-makefile/template/path-init.sh

set -e
set -o pipefail

export PATH="$COQBIN:$PATH"
export LC_ALL=C