diff options
Diffstat (limited to 'bin')
-rw-r--r-- | bin/compiler/.gitignore | 2 | ||||
-rw-r--r-- | bin/compiler/includes/includes.sh | 4 |
2 files changed, 6 insertions, 0 deletions
diff --git a/bin/compiler/.gitignore b/bin/compiler/.gitignore new file mode 100644 index 0000000000..ba57f2bccf --- /dev/null +++ b/bin/compiler/.gitignore @@ -0,0 +1,2 @@ +config.sh + 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/" |