From 011a793eaec28a173016361829f23dbff4975a1d Mon Sep 17 00:00:00 2001
From: iceman1001 <iceman@iuse.se>
Date: Tue, 11 Jul 2017 13:33:42 +0200
Subject: [PATCH] UPD: updates of the coverity scan scripts, to make the
 release 2017.07 of coverity build tools UPD: install.sh now downloads the
 repo and make a clean build

---
 covbuild.sh  |  2 +-
 covconfig.sh | 19 +++++++++----------
 install.sh   | 21 ++++++++++++++++++---
 3 files changed, 28 insertions(+), 14 deletions(-)

diff --git a/covbuild.sh b/covbuild.sh
index 5b242579b..ab6273d73 100755
--- a/covbuild.sh
+++ b/covbuild.sh
@@ -7,7 +7,7 @@
 make clean
 
 ## coverity build
-cov-build --dir cov-int make all
+/home/user/cov-analysis-linux-2017.07/bin/cov-build --dir cov-int make all
 
 ## delete all previous tarballs
 rm proxmark3.all.*.tgz
diff --git a/covconfig.sh b/covconfig.sh
index 8e8c9801a..91b59ceaa 100755
--- a/covconfig.sh
+++ b/covconfig.sh
@@ -2,13 +2,12 @@
 
 ## 20160116, iceman
 ## remove old
-rm /home/user/cov-analysis-linux-7.7.0.4/config/coverity_config.xml
-rm -rf /home/user/cov-analysis-linux-7.7.0.4/config/gcc-config-?
-rm -rf /home/user/cov-analysis-linux-7.7.0.4/config/g++-config-?
-
-
-## Configure ARM ,  make sure you have the arm gcc in your $PATH variable.
-cov-configure -co arm-none-eabi-gcc -- -mthumb-interwork
-
-
-
+rm /home/user/cov-analysis-linux-2017.07/config/coverity_config.xml
+rm -rf /home/user/cov-analysis-linux-2017.07/config/gcc-config-?
+rm -rf /home/user/cov-analysis-linux-2017.07/config/g++-config-?
+ 
+ ## Configure ARM ,  make sure you have the arm gcc in your $PATH variable.
+#/home/user/cov-analysis-linux-2017.07/bin/cov-configure -co arm-none-eabi-gcc -- -mthumb-interwork
+/home/user/cov-analysis-linux-2017.07/bin/cov-configure -co arm-none-eabi-gcc -- -std=c99 -mthumb -mthumb-interwork
+
+echo "Done."
\ No newline at end of file
diff --git a/install.sh b/install.sh
index 7bdf01de0..0b63972f8 100755
--- a/install.sh
+++ b/install.sh
@@ -1,3 +1,8 @@
+#!/bin/bash
+
+set -x
+
+# This for linux ppl
 #for linux ppl
 # this should work fine on Ubuntu distros. Don't know about Kali, ...
 
@@ -14,10 +19,20 @@ sudo apt-get autoclean -y
 sudo apt-get clean -y
 sudo apt-get update
 
-# Copy blacklist rules into /etc/udev/rules.d
-# check the Makefile for details
-sudo make udev
+# install proxmark3 
+git clone https://github.com/Proxmark/proxmark3.git
+(
+   cd proxmark3 || exit 1
+   git reset --hard
+   git clean -dfx
+   make clean
+   make all
+   # Copy blacklist rules into /etc/udev/rules.d
+   # check the Makefile for details
+   sudo make udev
+)
 
 # Where is my device?
 #dmesg | tail -10
 
+echo "Done."
\ No newline at end of file