Tweak after enabling `set -e`: handle grep properly. Also be more
[arvados-dev.git] / jenkins / puppet_update.sh
2017-02-14 Ward VandewegeAdd copyright notices to (almost) all files in this...
2016-03-26 Nico Cesaradding an extra script for parallel puppet runs