[aiaiai PATCH v3 10/12] aiaiai: use AI_PATH to specify addition postfix PATH

[Artem Bityutskiy]

From: Jacob Keller <jacob.e.keller at intel.com>

This patch adds the use of $AI_PATH in order to enable adding postfix
path information to where programs will be located. This can be useful
if you need to enable extra portions of path, or move some things to
different search order in your PATH. I use it to add the correct
binaries for the smatch program.

Signed-off-by: Jacob Keller <jacob.e.keller at intel.com>
---
 email/aiaiai-email-dispatcher        |    2 +-
 email/aiaiai-email-dispatcher-helper |    2 +-
 email/aiaiai-email-lda               |    2 +-
 email/aiaiai-email-test-patchset     |    2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/aiaiai-checker b/aiaiai-checker
index 1da8e14..e2f13d6 100755
--- a/aiaiai-checker
+++ b/aiaiai-checker
@@ -5,7 +5,7 @@
 # License: GPLv2
 
 srcdir="$(readlink -ev -- ${0%/*})"
-PATH="$srcdir:$srcdir/external/libshell:$srcdir/external:$PATH"
+PATH="$srcdir:$srcdir/external/libshell:$srcdir/external:$PATH${AI_PATH:+:$AI_PATH}"
 
 . shell-error
 . shell-args
diff --git a/aiaiai-concat-mboxes b/aiaiai-concat-mboxes
index 9d0e847..9705eb7 100755
--- a/aiaiai-concat-mboxes
+++ b/aiaiai-concat-mboxes
@@ -5,7 +5,7 @@
 # License: GPLv2
 
 srcdir="$(readlink -ev -- ${0%/*})"
-PATH="$srcdir:$srcdir/external/libshell:$PATH"
+PATH="$srcdir:$srcdir/external/libshell:$PATH${AI_PATH:+:$AI_PATH}"
 
 . shell-error
 
diff --git a/aiaiai-diff-log b/aiaiai-diff-log
index cc4a63c..cb5b311 100755
--- a/aiaiai-diff-log
+++ b/aiaiai-diff-log
@@ -6,7 +6,7 @@
 # License: GPLv2
 
 srcdir="$(readlink -ev -- ${0%/*})"
-PATH="$srcdir:$srcdir/external/libshell:$srcdir/external:$PATH"
+PATH="$srcdir:$srcdir/external/libshell:$srcdir/external:$PATH${AI_PATH:+:$AI_PATH}"
 
 . shell-error
 . shell-args
diff --git a/aiaiai-match-keywords b/aiaiai-match-keywords
index 4488853..ecaf166 100755
--- a/aiaiai-match-keywords
+++ b/aiaiai-match-keywords
@@ -5,7 +5,7 @@
 # License: GPLv2
 
 srcdir="$(readlink -ev -- ${0%/*})"
-PATH="$srcdir:$srcdir/external/libshell:$PATH"
+PATH="$srcdir:$srcdir/external/libshell:$PATH${AI_PATH:+:$AI_PATH}"
 
 . shell-error
 . shell-args
diff --git a/aiaiai-test-bisectability b/aiaiai-test-bisectability
index bc46f9b..aeeccdb 100755
--- a/aiaiai-test-bisectability
+++ b/aiaiai-test-bisectability
@@ -5,7 +5,7 @@
 # License: GPLv2
 
 srcdir="$(readlink -ev -- ${0%/*})"
-PATH="$srcdir:$srcdir/external/libshell:$srcdir/external:$PATH"
+PATH="$srcdir:$srcdir/external/libshell:$srcdir/external:$PATH${AI_PATH:+:$AI_PATH}"
 
 . shell-error
 . shell-args
diff --git a/aiaiai-test-patchset b/aiaiai-test-patchset
index 83c3426..c67782e 100755
--- a/aiaiai-test-patchset
+++ b/aiaiai-test-patchset
@@ -5,7 +5,7 @@
 # License: GPLv2
 
 srcdir="$(readlink -ev -- ${0%/*})"
-PATH="$srcdir:$srcdir/external/libshell:$srcdir/external:$PATH"
+PATH="$srcdir:$srcdir/external/libshell:$srcdir/external:$PATH${AI_PATH:+:$AI_PATH}"
 
 . shell-error
 . shell-args
diff --git a/email/aiaiai-email-dispatcher b/email/aiaiai-email-dispatcher
index 4e303d9..68d5f3c 100755
--- a/email/aiaiai-email-dispatcher
+++ b/email/aiaiai-email-dispatcher
@@ -5,7 +5,7 @@
 # License: GPLv2
 
 srcdir="$(readlink -ev -- ${0%/*}/..)"
-PATH="$srcdir:$srcdir/email:$srcdir/external/libshell:$PATH"
+PATH="$srcdir:$srcdir/email:$srcdir/external/libshell:$PATH${AI_PATH:+:$AI_PATH}"
 
 . shell-error
 . shell-args
diff --git a/email/aiaiai-email-dispatcher-helper b/email/aiaiai-email-dispatcher-helper
index ab65849..2c2c481 100755
--- a/email/aiaiai-email-dispatcher-helper
+++ b/email/aiaiai-email-dispatcher-helper
@@ -5,7 +5,7 @@
 # License: GPLv2
 
 srcdir="$(readlink -ev -- ${0%/*}/..)"
-PATH="$srcdir:$srcdir/email:$srcdir/external/libshell:$PATH"
+PATH="$srcdir:$srcdir/email:$srcdir/external/libshell:$PATH${AI_PATH:+:$AI_PATH}"
 
 . shell-error
 . shell-signal
diff --git a/email/aiaiai-email-lda b/email/aiaiai-email-lda
index faf9055..269cee3 100755
--- a/email/aiaiai-email-lda
+++ b/email/aiaiai-email-lda
@@ -5,7 +5,7 @@
 # License: GPLv2
 
 srcdir="$(readlink -ev -- ${0%/*}/..)"
-PATH="$srcdir:$srcdir/email:$srcdir/external/libshell:$PATH"
+PATH="$srcdir:$srcdir/email:$srcdir/external/libshell:$PATH${AI_PATH:+:$AI_PATH}"
 
 . shell-error
 . shell-args
diff --git a/email/aiaiai-email-test-patchset b/email/aiaiai-email-test-patchset
index 0ca9f05..45c7a77 100755
--- a/email/aiaiai-email-test-patchset
+++ b/email/aiaiai-email-test-patchset
@@ -5,7 +5,7 @@
 # License: GPLv2
 
 srcdir="$(readlink -ev -- ${0%/*}/..)"
-PATH="$srcdir:$srcdir/email:$srcdir/external/libshell:$PATH"
+PATH="$srcdir:$srcdir/email:$srcdir/external/libshell:$PATH${AI_PATH:+:$AI_PATH}"
 
 . shell-error
 . shell-args
diff --git a/jenkins/aiaiai-jenkins-test-patchset b/jenkins/aiaiai-jenkins-test-patchset
index 721cff9..e2c4b61 100755
--- a/jenkins/aiaiai-jenkins-test-patchset
+++ b/jenkins/aiaiai-jenkins-test-patchset
@@ -5,7 +5,7 @@
 # License: GPLv2
 
 srcdir="$(readlink -ev -- ${0%/*})"
-PATH="$srcdir/..:$srcdir/../external/libshell:$PATH"
+PATH="$srcdir/..:$srcdir/../external/libshell:$PATH${AI_PATH:+:$AI_PATH}"
 
 . shell-error
 . shell-args


-- 
Best Regards,
Artem Bityutskiy