build+ci: Fixing compilation and CI scripts

Change-Id: If3c5fe06f19b5aaddc1ee8c7b73b2b3de4c45892
Refs: #2288
diff --git a/.jenkins b/.jenkins
index afc4699..674d751 100755
--- a/.jenkins
+++ b/.jenkins
@@ -3,7 +3,8 @@
 
 DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
 
-for i in $( find "$DIR/.jenkins.d" -type f -perm +111 | sort ); do
-    echo "Run: $i"
-    "$i"
+for file in "$DIR"/.jenkins.d/*; do
+    [[ -f $file && -x $file ]] || continue
+    echo "Run: $file"
+    "$file"
 done