Chalice: fix a bug for boogie print-out of a sequence class

1 files changed, 6 insertions, 2 deletions

diff --git a/Chalice/make.py b/Chalice/make.py
index e3ba1ab9..643832ef 100644
--- a/Chalice/make.py
+++ b/Chalice/make.py
@@ -1,11 +1,15 @@
+#! /bin/python

+

 import os

 import glob

 import sys

 import datetime

 

 bindir = "bin"

+if not os.path.exists(bindir):

+    os.makedirs(bindir)

     

-srcspecs = ["src\\*.scala"]

+srcspecs = ["src/*.scala"]

 srcfiles = [file for spec in srcspecs for file in glob.glob(spec)]

 

 buildstamp = "makestamp"

@@ -24,7 +28,7 @@ def printtime():
     print datetime.datetime.now().strftime("%H:%M:%S")

 

 printtime()

-cmd = "scalac -d bin -unchecked -deprecation " + " ".join(changedfiles) + " & if errorlevel 1 exit 1"

+cmd = "scalac -d bin -unchecked -deprecation " + " ".join(changedfiles) + " 2>&1"

 print cmd

 result = os.system(cmd)

 printtime()