diff options
| -rw-r--r-- | tools/workben/makefile.mk | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/workben/makefile.mk b/tools/workben/makefile.mk index 53c6811c0251..9c38de3295a4 100644 --- a/tools/workben/makefile.mk +++ b/tools/workben/makefile.mk @@ -4,9 +4,9 @@ # # $RCSfile: makefile.mk,v $ # -# $Revision: 1.7 $ +# $Revision: 1.8 $ # -# last change: $Author: rt $ $Date: 2005-09-09 14:53:26 $ +# last change: $Author: hr $ $Date: 2006-06-19 13:56:45 $ # # The Contents of this file are made available subject to # the terms of GNU Lesser General Public License Version 2.1. @@ -38,6 +38,7 @@ PRJNAME = tl TARGET = tldem LIBTARGET = NO TARGETTYPE = CUI +ENABLE_EXCEPTIONS=TRUE .INCLUDE: settings.mk |