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