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 run CLI subcommand #2215

Merged
merged 24 commits into from May 3, 2019
Merged
Changes from 1 commit
Commits
File filter...
Filter file types
Jump to…
Jump to file or symbol
Failed to load files and symbols.

Always

Just for now

Revert "lint"

This reverts commit 6b95b50.
  • Loading branch information...
bartlomieju committed May 3, 2019
commit 287f2f78831588a3ca2f12ad75f9dcc9106ece9d
@@ -19,8 +19,7 @@
def cat(deno_exe, megs):
size = megs * MB
start = time.time()
cmd = deno_exe + " --allow-read run "
cmd += "tests/cat.ts /dev/zero | head -c %s " % size
cmd = deno_exe + " --allow-read run tests/cat.ts /dev/zero | head -c %s " % size
print cmd
subprocess.check_output(cmd, shell=True)
end = time.time()
ProTip! Use n and p to navigate between commits in a pull request.
You can’t perform that action at this time.