diff options
author | André Draszik <andre.draszik@linaro.org> | 2013-08-05 14:28:04 +0100 |
---|---|---|
committer | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2013-08-21 15:03:43 +0200 |
commit | ad5e33515a209a72b66d7888a871427f9059e38a (patch) | |
tree | db1b59b83b858837f84fdb6247f89eb55f7d3fb8 /debian/libmedia.install | |
parent | cfc025ce9f94a729e8fe9cc16466db288cd201da (diff) |
options: don't imply -v when doing a -p.
This avoids us getting (unnecessary) debug messages during -p.
Signed-off-by: Alain Volmat <alain.volmat@st.com>
Signed-off-by: André Draszik <andre.draszik@linaro.org>
Signed-off-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>
Diffstat (limited to 'debian/libmedia.install')
0 files changed, 0 insertions, 0 deletions