projects / platform / upstream / gstreamer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86efbff) | patch
validate:launcher: Error out if valgrind is not available on the system
authorThibault Saunier <tsaunier@gnome.org>
Fri, 17 Apr 2015 17:56:17 +0000 (19:56 +0200)
committerThibault Saunier <tsaunier@gnome.org>
Fri, 17 Apr 2015 17:58:18 +0000 (19:58 +0200)
commit76eedece5c391c08410fc430c3c95cab46ae6b01
tree0271876ec20546c74b29b68942030d07de24d22dtree | snapshot
parent86efbffa322f0ecc9ab2917317683d9b435f6ed0commit | diff
validate:launcher: Error out if valgrind is not available on the system

Summary:
When the user wants to use valgrind, make sure it is present on the
system before doing anything

Reviewers: gdesmott

Differential Revision: http://phabricator.freedesktop.org/D104
validate/launcher/main.py diff | blob | history
Domain: Multimedia / Media Common;