diff options
| -rw-r--r-- | make/host.properties | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make/host.properties b/make/host.properties index d71b08cf7..b88cd68ca 100644 --- a/make/host.properties +++ b/make/host.properties @@ -16,11 +16,11 @@ # including the name of the jar # # Windows -# antlr.jar=C:/Users/kbr/ANTLR/antlr-2.7.2/antlr.jar +antlr.jar=C:/Users/kbr/ANTLR/antlr-2.7.2/antlr.jar # Linux # antlr.jar=/home/kbr/antlr-2.7.2/antlr.jar # Mac OS X -antlr.jar=/Users/kbr/antlr-2.7.2/antlr.jar +# antlr.jar=/Users/kbr/antlr-2.7.2/antlr.jar # # Force the use of jikes in +E (emacs) mode |