avoid empty EXTRA*

Helpful when the value of EXTRA can be conditionally
computed, but unset is not an easy option.
eg. with github actions
This commit is contained in:
Michael Davidsaver
2020-11-07 08:13:47 -08:00
parent 2929ee2a03
commit 7d9d426629

5
cue.py
View File

@@ -715,8 +715,9 @@ def setup_for_build(args):
# Add EXTRA make arguments
for tag in ['EXTRA', 'EXTRA1', 'EXTRA2', 'EXTRA3', 'EXTRA4', 'EXTRA5']:
if tag in os.environ:
extra_makeargs.append(os.environ[tag])
val = os.environ.get(tag, "")
if len(val)>0:
extra_makeargs.append(val)
def fix_etc_hosts():