diff options
author | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2014-10-27 12:50:35 +0000 |
---|---|---|
committer | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2014-10-27 15:45:55 +0000 |
commit | 946d6b530ebda661c4db0e28d8aba2570044941c (patch) | |
tree | e147767c1bf6c9c66f65a77f5398d764a540b083 /distbuild.configure | |
parent | a762f3db05b0e5561c0b7ada843154173197d1f5 (diff) | |
download | definitions-946d6b530ebda661c4db0e28d8aba2570044941c.tar.gz |
Allow mason.configure to be enabled without requiring configuration
If none of the MASON_ options are set then mason.configure will now do
nothing, instead of raising an error. This is needed because
mason.configure is enabled by default in the build-system.
Diffstat (limited to 'distbuild.configure')
0 files changed, 0 insertions, 0 deletions