diff options
| author |  rustanleino <unknown> | 2010-07-19 23:43:19 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-07-19 23:43:19 +0000 |
| commit | 054c66bf3f1e6662368801a6e88a4cbdf167db5e (patch) | |
| tree | 6288319334db1497d6f9e20b350284d5f4d78b09 /Chalice | |
| parent | 57f87ca70027af0f318d2668ec837fc685f9b4be (diff) | |
VS2010 integration: fixed typo in Boogie mode (install for .bpl files, not .dfy file; duh!)
Chalice tests: removed machine-specific path from test.bat (replacing the file reference with just 'scala', which in some ways is machine-specific too)
Diffstat (limited to 'Chalice')
| -rw-r--r-- | Chalice/test.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Chalice/test.bat b/Chalice/test.bat index 7432a145..909c698f 100644 --- a/Chalice/test.bat +++ b/Chalice/test.bat @@ -1,7 +1,7 @@ @echo off
echo start > Output
-set CHALICE=call C:\Users\pmueller.D\Documents\bin\scala\bin\scala -cp bin Chalice -nologo
+set CHALICE=call scala -cp bin Chalice -nologo
REM to do: AssociationList
REM to do: GhostConst
|