]> _ Git - alire.git/commit
Use last build profile on `alr run` (#1080)
authorAlejandro R Mosteo <amosteo@unizar.es>
Wed, 27 Jul 2022 09:10:06 +0000 (11:10 +0200)
committerGitHub <noreply@github.com>
Wed, 27 Jul 2022 09:10:06 +0000 (11:10 +0200)
commit96f4a7bd8cb7e40ab8b6ae8c93c193d817f608dc
treef8ee0602dda3225b2a34cc72db8b74fdcaa4b74e
parent29579aa7b258fe061af98d918c57ba2f2aa77d07
Use last build profile on `alr run` (#1080)

* Use last build profile on `alr run`

* user-changes.md: explain new behavior
doc/user-changes.md
src/alire/alire-crate_configuration.adb
src/alire/alire-crate_configuration.ads
src/alire/alire-roots.adb
src/alire/alire-roots.ads
src/alr/alr-commands-build.adb
testsuite/tests/build_profile/alr_build_switches/test.py
testsuite/tests/build_profile/last_profile/test.py