#!/bin/bash

DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"

source "${DIR}/../../install/preproc/pre_proc" || {
	echo "INITINST pre_proc script failed"; exit 1
}