Skip to content
This repository has been archived by the owner on May 27, 2021. It is now read-only.

Pass additional arguments that aren't captured by julia_cmd(). #520

Merged
merged 1 commit into from
Dec 23, 2019

Conversation

maleadt
Copy link
Member

@maleadt maleadt commented Dec 23, 2019

Fixes #511.

@maleadt maleadt merged commit 2e83fc6 into master Dec 23, 2019
@bors bors bot deleted the tb/julia_cmd branch December 23, 2019 12:59
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

test/utils.jl:julia_script should forward --startup-file=no
1 participant