diff options
Diffstat (limited to 'tools/source')
| -rw-r--r-- | tools/source/debug/makefile.mk | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/tools/source/debug/makefile.mk b/tools/source/debug/makefile.mk index 3fa17da195cc..563163b12a8a 100644 --- a/tools/source/debug/makefile.mk +++ b/tools/source/debug/makefile.mk @@ -4,9 +4,9 @@ # # $RCSfile: makefile.mk,v $ # -# $Revision: 1.5 $ +# $Revision: 1.6 $ # -# last change: $Author: hr $ $Date: 2006-06-19 13:38:04 $ +# last change: $Author: vg $ $Date: 2007-02-06 13:27:33 $ # # The Contents of this file are made available subject to # the terms of GNU Lesser General Public License Version 2.1. @@ -42,9 +42,7 @@ ENABLE_EXCEPTIONS := TRUE # --- Settings ----------------------------------------------------- -.INCLUDE : svpre.mk .INCLUDE : settings.mk -.INCLUDE : sv.mk .INCLUDE : $(PRJ)$/util$/makefile.pmk # --- Files -------------------------------------------------------- |