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)
Enable execution log generation in non-interactive mode.


Trivial merge