| commit | d69f9a3c82e2e707148fac898225dc67db30df3a | [log] [tgz] |
|---|---|---|
| author | Nick G <nmgordon@memphis.edu> | Tue Aug 23 11:30:02 2016 -0500 |
| committer | Nick Gordon <nmgordon@memphis.edu> | Wed Aug 24 13:25:39 2016 -0500 |
| tree | fd4f1c2c7a48b64918d5762fcff529f24a13e4b3 | |
| parent | 63bd0348b313aa57451e5914ec07d47bf576f545 [diff] [blame] |
Copied ndn-cxx's .jenkins script for better compatibility. refs: #3695 Change-Id: I909fd9b486e16939a58f07d42e356885d809ef9a
diff --git a/.jenkins b/.jenkins index 0d34875..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