Merge pull request #29 from pmundkur/devel
authorAndrew Waterman <waterman@eecs.berkeley.edu>
Thu, 6 Aug 2015 22:59:08 +0000 (15:59 -0700)
committerAndrew Waterman <waterman@eecs.berkeley.edu>
Thu, 6 Aug 2015 22:59:08 +0000 (15:59 -0700)
commit1f0ac0e729a01819847f356918317a452f76a001
tree1cea6bb3d77ab99cdd84d16d6ea30d07f0c0bdcc
parent8abe4c630910b98df7e8f96118d21216e0bc1c30
parentb16ef94394e8f04f11241c2acfe442b4ddbc6853
Merge pull request #29 from pmundkur/devel

Enable execution log generation in non-interactive mode.