commit | 15ebb1e72aa518c1c5ea76c29cf25ae395979e93 | [log] [tgz] |
---|---|---|
author | spirosmastorakis <spiros.mastorakis@gmail.com> | Mon Jan 25 21:20:25 2016 -0800 |
committer | spirosmastorakis <spiros.mastorakis@gmail.com> | Tue Jan 26 14:23:25 2016 -0800 |
tree | e3a8b276fb4dbddffd8d3dbb8fdc885f2d323ff0 | |
parent | a99994cf648edcae4f635947b69e1bc1ce14a490 [diff] [blame] |
Enabling jenkins code coverage Change-Id: If69a83ffcf0450ac06f7dab17bf862e36aef37ed Refs: #3434
diff --git a/.jenkins b/.jenkins new file mode 100755 index 0000000..674d751 --- /dev/null +++ b/.jenkins
@@ -0,0 +1,10 @@ +#!/usr/bin/env bash +set -e + +DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) + +for file in "$DIR"/.jenkins.d/*; do + [[ -f $file && -x $file ]] || continue + echo "Run: $file" + "$file" +done