diff options
author | Andrew Bartlett <abartlet@samba.org> | 2021-03-26 21:48:45 +1300 |
---|---|---|
committer | Andrew Bartlett <abartlet@samba.org> | 2021-03-29 02:12:23 +0000 |
commit | 942c0d2128cb8e64a9354dde6bdae82a1c1c3d88 (patch) | |
tree | e4acc7beedb23e8f0b400ebdf91b4fb67c1435c1 /wscript_configure_embedded_heimdal | |
parent | 5bc1463a5c6e793ed78a77d9e513d94006dfce20 (diff) | |
download | samba-942c0d2128cb8e64a9354dde6bdae82a1c1c3d88.tar.gz |
build: Notice if flex is missing at configure time
This may also fix the coverage build by ensuring --noline
is always specified to flex.
BUG: https://bugzilla.samba.org/show_bug.cgi?id=14586
Signed-off-by: Andrew Bartlett <abartlet@samba.org>
Reviewed-by: Gary Lockyer <gary@catalyst.net.nz>
Autobuild-User(master): Andrew Bartlett <abartlet@samba.org>
Autobuild-Date(master): Mon Mar 29 02:12:23 UTC 2021 on sn-devel-184
Diffstat (limited to 'wscript_configure_embedded_heimdal')
-rw-r--r-- | wscript_configure_embedded_heimdal | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/wscript_configure_embedded_heimdal b/wscript_configure_embedded_heimdal index 8c55ae2a938..92a29f71bf8 100644 --- a/wscript_configure_embedded_heimdal +++ b/wscript_configure_embedded_heimdal @@ -1 +1,4 @@ +if not conf.env['FLEX']: + conf.fatal("Embedded Heimdal build requires flex but it was not found. Install flex or use --with-system-mitkrb5 or --with-system-heimdalkrb5") + conf.RECURSE('source4/heimdal_build') |