summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-11-27 11:20:59 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2014-11-27 11:20:59 -0800
commit100c27759aa1906a39791292539832529e2cae5c (patch)
tree8ef0be83ce440d06824237094094caeb58f0d294 /.gitignore
parent677a22519a212093438f4e5a08d79f9c74013488 (diff)
runtests.py: split argument of '--program' so that options can be given.
e.g. --program 'myprog --simple --foo=bar'
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions