diff options
Diffstat (limited to 'make/host.properties')
| -rw-r--r-- | make/host.properties | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/make/host.properties b/make/host.properties index b88cd68ca..122af2159 100644 --- a/make/host.properties +++ b/make/host.properties @@ -16,9 +16,10 @@ # 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 +# antlr.jar=/export/kbr/ANTLR/antlr-2.7.2/antlr.jar +antlr.jar=/net/animorphic/export/kbr/ANTLR/antlr-2.7.2/antlr.jar # Mac OS X # antlr.jar=/Users/kbr/antlr-2.7.2/antlr.jar |