openmpi-nightly-tarball.sh: only coverity analyze master (for now)
Этот коммит содержится в:
родитель
2ca14acaf0
Коммит
dfd21e465d
@ -101,9 +101,11 @@ for branch in $branches; do
|
||||
echo "=== Done running script"
|
||||
|
||||
# Did the script generate a new tarball? If so, save it so that we can
|
||||
# spawn the coverity checker on it afterwards.
|
||||
# spawn the coverity checker on it afterwards. Only for this for the
|
||||
# master (for now).
|
||||
latest_snapshot=`cat $outputroot/$branch/latest_snapshot.txt`
|
||||
if test "$prev_snapshot" != "$latest_snapshot"; then
|
||||
if test "$prev_snapshot" != "$latest_snapshot" && \
|
||||
test "$branch" = "master"; then
|
||||
echo "$outputroot/$branch/openmpi-$latest_snapshot.tar.bz2" >> $pending_coverity
|
||||
fi
|
||||
|
||||
|
Загрузка…
Ссылка в новой задаче
Block a user