| commit | b545aacf5d1903cb7306f3e3bebbde33bc1309e8 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davide.pesavento@lip6.fr> | Fri Sep 22 23:54:10 2017 -0400 |
| committer | Davide Pesavento <davide.pesavento@lip6.fr> | Sat Sep 23 01:37:20 2017 -0400 |
| tree | 2f0ec0accf206dd39ce81b52738957322b56c296 | |
| parent | 5d66961fbb163ba42e01a03ba50f8e1ba55d86eb [diff] [blame] |
Update build system Closes: https://github.com/named-data/repo-ng/pull/2 Change-Id: If5644f6b894d815e3c75c4404d2076fa559d7737
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