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, 0 insertions, 7 deletions
diff --git a/vid/src/main/swm/initinst/preproc/pre_proc b/vid/src/main/swm/initinst/preproc/pre_proc deleted file mode 100644 index 3bccb3eb..00000000 --- a/vid/src/main/swm/initinst/preproc/pre_proc +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/bash - -DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" - -source "${DIR}/../../install/preproc/pre_proc" || { - echo "INITINST pre_proc script failed"; exit 1 -} |