Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Only redefine HOME when it is required #37

Merged
merged 1 commit into from
Feb 17, 2021

Conversation

ocaisa
Copy link

@ocaisa ocaisa commented Feb 17, 2021

And only clean up $HOME/intel if it exists

And only clean up $HOME/intel if it exists
@boegel
Copy link
Owner

boegel commented Feb 17, 2021

Thanks @ocaisa!

@boegel boegel merged commit ae01146 into boegel:oneapi_compilers Feb 17, 2021
@ocaisa ocaisa deleted the oneapi_compilers branch October 27, 2021 10:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants