diff options
| author | ShinDarth <borzifrancesco@gmail.com> | 2016-08-07 14:55:21 +0200 |
|---|---|---|
| committer | ShinDarth <borzifrancesco@gmail.com> | 2016-08-07 14:55:21 +0200 |
| commit | a7a81f90b191aeabebc768ff18807abf6d655a0c (patch) | |
| tree | 369c1e94a8270ac4a5ea60cfa14243bb6866f043 /bin/compiler/includes/includes.sh | |
| parent | b96f058c175657aa85047f4200196bdd952c9888 (diff) | |
| parent | 1fcfb9af5a0a8e4d308ec2ccda20adab99dce3ec (diff) | |
Merge branch 'master' into git
Diffstat (limited to 'bin/compiler/includes/includes.sh')
| -rw-r--r-- | bin/compiler/includes/includes.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/compiler/includes/includes.sh b/bin/compiler/includes/includes.sh index 4150841891..1396accb1f 100644 --- a/bin/compiler/includes/includes.sh +++ b/bin/compiler/includes/includes.sh @@ -4,6 +4,10 @@ source "$CURRENT_PATH/../../bash_shared/includes.sh" AZTH_PATH_COMPILER="$AZTH_PATH_BIN/compiler" +if [ -f "$AZTH_PATH_COMPILER/config.sh" ]; then + source "$AZTH_PATH_COMPILER/config.sh" # should overwrite previous +fi + function azth_on_after_build() { # move the run engine cp -rvf "$AZTH_PATH_BIN/runners/"* "$INSTALL_PATH/bin/" |