mirror of
https://gitlab.freedesktop.org/NetworkManager/NetworkManager
synced 2024-07-21 10:14:41 +00:00
build/debian: install mobile-broadband-provider-info
This commit is contained in:
parent
beab85520a
commit
455f6dcbdc
|
@ -44,6 +44,7 @@ addons:
|
|||
- dnsmasq
|
||||
- libcurl4-gnutls-dev
|
||||
- python3-pip
|
||||
- mobile-broadband-provider-info
|
||||
coverity_scan:
|
||||
project:
|
||||
name: NetworkManager/NetworkManager
|
||||
|
|
|
@ -59,6 +59,7 @@ install \
|
|||
locales \
|
||||
make \
|
||||
meson \
|
||||
mobile-broadband-provider-info \
|
||||
pkg-config \
|
||||
ppp \
|
||||
ppp-dev \
|
||||
|
|
Loading…
Reference in a new issue