From d6583ebf40c9e99bfbec3652f8ef8639160f5fb6 Mon Sep 17 00:00:00 2001
From: Samo Penic <samo.penic@fe.uni-lj.si>
Date: Thu, 07 Jul 2016 14:40:36 +0000
Subject: [PATCH] Another fix. still not working if we have inititer.

---
 build.sh |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)

diff --git a/build.sh b/build.sh
index 2ac3b5a..a587e47 100755
--- a/build.sh
+++ b/build.sh
@@ -8,4 +8,6 @@
 make clean
 make
 sudo make install
-
+cd python
+sudo python3 setup.py install
+cd ..

--
Gitblit v1.9.3