Cédric Jeanneret 3a796fc328 Kill sudo once we don't need it anymore ... Calling "sudo -k" ensures we don't let dangling sudo session in the current shell. Change-Id: Ibe324afe2d251f5b71dedc02230bbcfa13888996		2020-11-03 14:54:31 +01:00
..
bindep-install	Add bindep to the repository	2019-07-01 12:22:41 +00:00
run-local-test	Kill sudo once we don't need it anymore	2020-11-03 14:54:31 +01:00