diff options
Diffstat (limited to 'vid/src/main/swm/initinst/preproc/pre_proc')
| -rw-r--r-- | vid/src/main/swm/initinst/preproc/pre_proc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/vid/src/main/swm/initinst/preproc/pre_proc b/vid/src/main/swm/initinst/preproc/pre_proc new file mode 100644 index 000000000..3bccb3eb7 --- /dev/null +++ b/vid/src/main/swm/initinst/preproc/pre_proc @@ -0,0 +1,7 @@ +#!/bin/bash + +DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" + +source "${DIR}/../../install/preproc/pre_proc" || { + echo "INITINST pre_proc script failed"; exit 1 +} |