From 21b036019779a3678bac3acdee970d98d99737ec Mon Sep 17 00:00:00 2001
From: Shlomi Fish <shlomif@shlomifish.org>
Date: Mon, 19 Mar 2018 15:36:39 +0200
Subject: [PATCH] travis fix #5 - /opt/python

---
 scripts/travis-ci-build | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/scripts/travis-ci-build b/scripts/travis-ci-build
index de59681c..27e6dd20 100644
--- a/scripts/travis-ci-build
+++ b/scripts/travis-ci-build
@@ -1,3 +1,8 @@
 #!/bin/bash
-PATH="$(perl -lE 'my @p = split/:/,$ENV{PATH}; print join q#:#, grep { ! m#\A/opt/python# } @p;')" make test || exit -1
+# Functioned-out - may be useful later.
+proc_path()
+{
+    PATH="$(perl -lE 'my @p = split/:/,$ENV{PATH}; print join q#:#, grep { ! m#\A/opt/python# } @p;')" "$@"
+}
+make test || exit -1
 make dist || exit -1