diff options
Diffstat (limited to 'rhino')
| -rwxr-xr-x | rhino/makefile.mk | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/rhino/makefile.mk b/rhino/makefile.mk index 45e90ce0c48d..1bcd3a8b8d34 100755 --- a/rhino/makefile.mk +++ b/rhino/makefile.mk @@ -4,9 +4,9 @@ # # $RCSfile: makefile.mk,v $ # -# $Revision: 1.8 $ +# $Revision: 1.9 $ # -# last change: $Author: obo $ $Date: 2008-01-04 15:22:44 $ +# last change: $Author: obo $ $Date: 2008-01-04 15:29:26 $ # # The Contents of this file are made available subject to # the terms of GNU Lesser General Public License Version 2.1. @@ -42,6 +42,7 @@ TARGET=ooo_rhino # --- Settings ----------------------------------------------------- .INCLUDE : settings.mk +.INCLUDE : antsettings.mk # --- Files -------------------------------------------------------- |