Do not set user defined env variables twice for (c)make (#860)

This commit is contained in:
Fabian Meumertzheim 2022-02-09 00:05:33 +01:00 committed by GitHub
parent 50ee9979e6
commit f0047ba2f5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 4 deletions

View File

@ -123,10 +123,8 @@ def _get_make_variables(workspace_name, tools, flags, user_env_vars):
vars.update(tools_dict)
# Put all other environment variables, passed by the user
for user_var in user_env_vars:
if not vars.get(user_var):
vars[user_var] = [user_env_vars[user_var]]
# Do not put in the other user-defined env variables at this point as they
# have already been exported globally by the prelude.
return vars