diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-06-08 18:44:21 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-06-08 18:44:21 -0700 |
commit | 31788cd65340522fbc7dd84cd8d7192ccb8e6d91 (patch) | |
tree | cc28e32343dccabc8807c8bdeaacb3b4ac8e0006 /Source/DafnyDriver | |
parent | 52b326d009545af9dbf44ec54e7ce9d610414517 (diff) |
Fix lit headers implicitly relying on bash-style constructs
Window's batch doesn't recognize ";" as a command separator; lit has a
workaround for that, bu it's just as simple to do the right thing on our side.
Diffstat (limited to 'Source/DafnyDriver')
0 files changed, 0 insertions, 0 deletions