diff options
Diffstat (limited to 'bin/compiler/includes/common.sh')
| -rw-r--r-- | bin/compiler/includes/common.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/bin/compiler/includes/common.sh b/bin/compiler/includes/common.sh deleted file mode 100644 index 61a73ca130..0000000000 --- a/bin/compiler/includes/common.sh +++ /dev/null @@ -1,5 +0,0 @@ -source "./config.sh.dist" # "hack" to avoid missing conf variables - -if [ -f "./config.sh" ]; then - source "./config.sh" # should overwrite previous -fi |