diff options
| author |   Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2019-02-04 16:08:06 +0100 |
|---|---|---|
| committer | Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2019-02-04 16:08:06 +0100 |
| commit | a4e83d75373702f2cb44f394c426750318611c5e (patch) | |
| tree | 5cf2c98ff0c5bb3ad7b936702bdd468a2fd26dbf /ci | |
| parent | c2ea7deba73e335ace30eba1db7e2f80d3c1daed (diff) | |
[fdio] Fix VPP package pinning
Previously, Ubuntu ignored the VPP pinning with:
N: Ignoring file 'fdio.ubuntu' in directory '/etc/apt/preferences.d/'
as it has an invalid filename extension
Change-Id: I5ee60c1715bea3b4180b55125dc72962a70c2754
Signed-off-by: Alexandru Avadanii <Alexandru.Avadanii@enea.com>
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions