]> _ Git - alire.git/commit
Don't detect external tools when they're not (#1018)
authorAlejandro R Mosteo <amosteo@unizar.es>
Mon, 9 May 2022 08:44:38 +0000 (10:44 +0200)
committerGitHub <noreply@github.com>
Mon, 9 May 2022 08:44:38 +0000 (10:44 +0200)
commit0f19b4f3995d21f191b701bae7f3c8b808fec8f7
tree7daa4ebe84f623231ef66b7cbed651620a11f415
parent209acd42af155be44593d9504e4eb69895ec35be
Don't detect external tools when they're not (#1018)
src/alire/alire-config.ads
src/alire/alire-shared.adb
src/alire/alire-shared.ads
src/alire/alire-toolchains-solutions.adb
src/alire/alire-toolchains.adb
src/alire/alire-toolchains.ads