diff options
author | 2010-07-15 00:59:44 +0000 | |
---|---|---|
committer | 2010-07-15 00:59:44 +0000 | |
commit | 1c2d6e9356b72396681225b2907032990a26e2f3 (patch) | |
tree | 7a110790aa150a7fc609d771b68f594ed2119095 /Chalice/make.py | |
parent | 1ab0b263cf04868238facb8c52c42e89bbdc5f62 (diff) |
Oops, reverted my local changes to the build script.
Diffstat (limited to 'Chalice/make.py')
-rw-r--r-- | Chalice/make.py | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/Chalice/make.py b/Chalice/make.py index 643832ef..e3ba1ab9 100644 --- a/Chalice/make.py +++ b/Chalice/make.py @@ -1,15 +1,11 @@ -#! /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"
@@ -28,7 +24,7 @@ def printtime(): print datetime.datetime.now().strftime("%H:%M:%S")
printtime()
-cmd = "scalac -d bin -unchecked -deprecation " + " ".join(changedfiles) + " 2>&1"
+cmd = "scalac -d bin -unchecked -deprecation " + " ".join(changedfiles) + " & if errorlevel 1 exit 1"
print cmd
result = os.system(cmd)
printtime()
|