Commit 1585b736 authored by ale's avatar ale

Allow setting command-line options from the environment

parent 60e3cbb2
Pipeline #1134 passed with stages
in 48 seconds