]> _ Git - alire.git/commit
Override distro via config key (#1610)
authorAlejandro R Mosteo <amosteo@unizar.es>
Mon, 4 Mar 2024 10:41:15 +0000 (11:41 +0100)
committerGitHub <noreply@github.com>
Mon, 4 Mar 2024 10:41:15 +0000 (11:41 +0100)
commitdc46eb61582d0ab82bdfdba089809f6c2b7058f7
tree8edddc5ca2248afdb7f4c3e81ad74c9d33823462
parenta65f0360b3d7410e0f015969b38ba08e0fa14f4f
Override distro via config key (#1610)
src/alire/alire-config-builtins.ads
src/alire/alire-config-checks.adb [new file with mode: 0644]
src/alire/alire-config-checks.ads [new file with mode: 0644]
src/alire/alire-platforms-current.ads
src/alire/alire-warnings.adb
src/alire/alire-warnings.ads
testsuite/tests/config/distro-override/test.py [new file with mode: 0644]
testsuite/tests/config/distro-override/test.yaml [new file with mode: 0644]