[GNUnet-SVN] [taler-bank] branch master updated: add debian-specific option to install-dev

[gnunet]

This is an automated email from the git hooks/post-receive script.

dold pushed a commit to branch master
in repository bank.

The following commit(s) were added to refs/heads/master by this push:
     new 32cb2ab  add debian-specific option to install-dev
32cb2ab is described below

commit 32cb2abc2e57cae1cc21e684aeb21ff09c114319
Author: Florian Dold <address@hidden>
AuthorDate: Mon May 15 15:15:07 2017 +0200

    add debian-specific option to install-dev
---
 install-dev.py.in | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/install-dev.py.in b/install-dev.py.in
index 450435e..b4cfc6e 100644
--- a/install-dev.py.in
+++ b/install-dev.py.in
@@ -22,6 +22,10 @@ current_paths.append(prefix_path)
 current_paths.remove("")
 os.environ["PYTHONPATH"] = ":".join(current_paths)
 
-os.execlp("pip3", "pip3", "install", '--install-option=--prefix=%s' % 
"@prefix@", "-e", ".")
+args = ["pip3", "install", '--install-option=--prefix=%s' % "@prefix@", "-e", 
"."]
+if "@DEBIAN_PIP3_SYSTEM@":
+    args.push("@DEBIAN_PIP3_SYSTEM@")
+
+os.execvp("pip3", args)
 
 

-- 
To stop receiving notification emails like this one, please contact
address@hidden