diff options
author | Julian Andres Klode <jak@debian.org> | 2018-01-18 14:24:48 +0000 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2018-01-18 14:24:48 +0000 |
commit | 697b6cc80057b08534fb2e7ea6c913aae34cceb9 (patch) | |
tree | 62b7a69010923a7cd3bd43615642f53baa11819b /apt-pkg/indexfile.cc | |
parent | 8aae95a7f87a50d1eeb3c4720556a117ec1f59d9 (diff) | |
parent | 698f9e3f9877be2aa181d6e40d3dc5c41ea318b7 (diff) |
Merge branch 'inrelease-path' into 'master'
Introduce inrelease-path option for sources.list
See merge request apt-team/apt!2
Diffstat (limited to 'apt-pkg/indexfile.cc')
-rw-r--r-- | apt-pkg/indexfile.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/apt-pkg/indexfile.cc b/apt-pkg/indexfile.cc index 679e2eab8..96ae2f93b 100644 --- a/apt-pkg/indexfile.cc +++ b/apt-pkg/indexfile.cc @@ -149,6 +149,7 @@ std::string IndexTarget::Option(OptionKeys const EnumKey) const /*{{{*/ APT_CASE(ALLOW_INSECURE); APT_CASE(ALLOW_WEAK); APT_CASE(ALLOW_DOWNGRADE_TO_INSECURE); + APT_CASE(INRELEASE_PATH); #undef APT_CASE case FILENAME: { |