diff options
Diffstat (limited to 'store/workben')
| -rw-r--r-- | store/workben/makefile.mk | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/store/workben/makefile.mk b/store/workben/makefile.mk index 56dc0e338..6bbf8c7e6 100644 --- a/store/workben/makefile.mk +++ b/store/workben/makefile.mk @@ -4,9 +4,9 @@ # # $RCSfile: makefile.mk,v $ # -# $Revision: 1.4 $ +# $Revision: 1.5 $ # -# last change: $Author: rt $ $Date: 2005-09-08 08:49:17 $ +# last change: $Author: vg $ $Date: 2007-02-06 13:31:25 $ # # The Contents of this file are made available subject to # the terms of GNU Lesser General Public License Version 2.1. @@ -43,9 +43,7 @@ TARGETTYPE=CUI # --- Settings --- -.INCLUDE : svpre.mk .INCLUDE : settings.mk -.INCLUDE : sv.mk .IF "$(STORELIB)" == "" .IF "$(GUI)" == "UNX" |