diff options
author | Ole Troan <ot@cisco.com> | 2020-05-08 10:39:30 +0200 |
---|---|---|
committer | Andrew Yourtchenko <ayourtch@gmail.com> | 2020-05-08 12:47:55 +0000 |
commit | c5c788bfa1984071d5721d378b838d029fc7b680 (patch) | |
tree | 37290d903910c4455b1a9609ea68017bca6008da /build/external/deb/debian | |
parent | 71f62a52a2abaeb8b4fc8c70fde501fa7400417c (diff) |
papi: use python3 for papi install
Breaks on Ubuntu 20.04 otherwise.
Type: fix
Signed-off-by: Ole Troan <ot@cisco.com>
Change-Id: I407215a03948d6e49152ee97099539bb625c12ef
Diffstat (limited to 'build/external/deb/debian')
0 files changed, 0 insertions, 0 deletions