]> _ Git - alire.git/commit
New config option to disable community index (#933)
authorAlejandro R Mosteo <amosteo@unizar.es>
Mon, 7 Feb 2022 12:29:18 +0000 (13:29 +0100)
committerGitHub <noreply@github.com>
Mon, 7 Feb 2022 12:29:18 +0000 (13:29 +0100)
commitc9e38c3f3079ff7aa3e355b8b334c450cdfa3986
tree00a06ed961ae5fa1d1963a1d9b4dbe5473ae00bd
parent42a39ccde76998ed7c8451660b923b54c369d3e3
New config option to disable community index (#933)

* New config option to disable community index

This way we can ensure that no test in our testsuite is inadvertently using the
community index, as indeed it was happening.

* Code review
src/alire/alire-config-edit.ads
src/alire/alire-config.ads
src/alire/alire-features-index.adb
testsuite/drivers/alr.py
testsuite/tests/config/community-disable/test.py [new file with mode: 0644]
testsuite/tests/config/community-disable/test.yaml [new file with mode: 0644]
testsuite/tests/misc/gprbuild-switches/test.yaml