| Wentao Shang | a8f3c40 | 2014-10-30 14:03:27 -0700 | [diff] [blame] | 1 | #!/usr/bin/env bash |
| 2 | set -e | ||||
| 3 | |||||
| 4 | DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) | ||||
| 5 | |||||
| Davide Pesavento | b545aac | 2017-09-22 23:54:10 -0400 | [diff] [blame] | 6 | for file in "$DIR"/.jenkins.d/*; do |
| 7 | [[ -f $file && -x $file ]] || continue | ||||
| 8 | echo "Run: $file" | ||||
| 9 | "$file" | ||||
| Wentao Shang | a8f3c40 | 2014-10-30 14:03:27 -0700 | [diff] [blame] | 10 | done |