diff options
author | Yehonal <hw.2@hotmail.it> | 2016-07-28 16:39:19 +0200 |
---|---|---|
committer | Yehonal <yehonal.azeroth@gmail.com> | 2016-08-07 12:10:51 +0200 |
commit | 765fad6133aa07832282d3c389e31afd7f10c210 (patch) | |
tree | d9da6b2d0c30e43a65bf3edfc941b46cdcd7c0d2 /bin | |
parent | 4da34f630f667c8900dcf58b7f64de46740475cb (diff) |
some fixes to bash config files
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/" |