support dist-upgrade options in full-upgrade
authorDavid Kalnischkies <david@kalnischkies.de>
Wed, 16 Apr 2014 20:47:25 +0000 (22:47 +0200)
committerDavid Kalnischkies <david@kalnischkies.de>
Wed, 16 Apr 2014 20:47:25 +0000 (22:47 +0200)
commitebe24b7ad56550f21f467b86ceab7f7209a876f6
treed8c73404a49ce4ed0533649e56d7164321cfa523
parentd382a0e48d36fe29f0bf8f33f78bad592a792619
support dist-upgrade options in full-upgrade

dist-upgrade is supposed to be an alias for full-upgrade in apt, but
dist-upgrade was the only command recognized of the two in the option
and flags recognition code.
apt-private/private-cmndline.cc