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

Add missing #!/bin/bash directive. #2951

Merged
merged 1 commit into from
Apr 2, 2019
Merged

Add missing #!/bin/bash directive. #2951

merged 1 commit into from
Apr 2, 2019

Conversation

ghost
Copy link

@ghost ghost commented Apr 2, 2019

No description provided.

@icemelon icemelon merged commit a42ad8e into apache:master Apr 2, 2019
@icemelon
Copy link
Member

icemelon commented Apr 2, 2019

Thanks @mjs-arm

@ghost ghost deleted the fix-missing-hash-bang branch April 3, 2019 08:20
ajtulloch pushed a commit to ajtulloch/tvm that referenced this pull request Apr 5, 2019
wweic pushed a commit to wweic/tvm that referenced this pull request Apr 7, 2019
wweic pushed a commit to wweic/tvm that referenced this pull request Apr 7, 2019
wweic pushed a commit to wweic/tvm that referenced this pull request Apr 8, 2019
wweic pushed a commit to wweic/tvm that referenced this pull request Apr 10, 2019
wweic pushed a commit to neo-ai/tvm that referenced this pull request Apr 11, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants