Add make in the update.sh

1 files changed, 9 insertions, 0 deletions

diff --git a/update.sh b/update.sh
index 510bbb07..c2dba40e 100755
--- a/update.sh
+++ b/update.sh
@@ -9,6 +9,15 @@
 echo 'Updating poezio'
 git pull origin master
 
+make
+if [ $? -ne 0 ]
+then
+    echo -e "It seems that you do not have the python development"\
+        "files.\nSearch for a package named python3-dev or python3-devel"\
+        "in your repos."
+    exit -1
+fi
+
 if [ -e "SleekXMPP" ]
 then
     echo "Updating SleekXMPP"