From 31788cd65340522fbc7dd84cd8d7192ccb8e6d91 Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Mon, 8 Jun 2015 18:44:21 -0700 Subject: 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. --- Test/dafny0/DirtyLoops.dfy | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Test/dafny0/DirtyLoops.dfy') diff --git a/Test/dafny0/DirtyLoops.dfy b/Test/dafny0/DirtyLoops.dfy index 265fadb5..1a61a7e6 100644 --- a/Test/dafny0/DirtyLoops.dfy +++ b/Test/dafny0/DirtyLoops.dfy @@ -1,4 +1,5 @@ -// RUN: %dafny /compile:0 /dprint:"%t.dprint.dfy" "%s" > "%t"; %dafny /noVerify /compile:1 "%t.dprint.dfy" >> "%t" +// RUN: %dafny /compile:0 /dprint:"%t.dprint.dfy" "%s" > "%t" +// RUN: %dafny /noVerify /compile:1 "%t.dprint.dfy" >> "%t" // RUN: %diff "%s.expect" "%t" class MyClass { -- cgit v1.2.3