debian/rules: update configure option name
authorJeremy Bícha <jeremy.bicha@canonical.com>
Tue, 8 Aug 2023 12:27:51 +0000 (08:27 -0400)
committerJeremy Bícha <jeremy.bicha@canonical.com>
Tue, 8 Aug 2023 19:44:33 +0000 (15:44 -0400)
commita19bbf6467c22c6c8bc74dc3701bd0a693d05ee2
treecabdc639d1e4daf847f96b35f0e904d952a6f9a8
parent29c81a3691981fd377e83386507eba228a795363
debian/rules: update configure option name
debian/rules