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

@@ -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

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-?
-
+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.
-cov-configure -co arm-none-eabi-gcc -- -mthumb-interwork
-
-
+#/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."

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
 
+# 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."