diff options
Diffstat (limited to 'shell/source/all/makefile.mk')
-rwxr-xr-x | shell/source/all/makefile.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/shell/source/all/makefile.mk b/shell/source/all/makefile.mk index 2c5e4d3359ec..66b185132fa6 100755 --- a/shell/source/all/makefile.mk +++ b/shell/source/all/makefile.mk @@ -65,5 +65,9 @@ SLOFILES_X64=$(SLO_X64)$/xml_parser.obj .INCLUDE : set_wntx64.mk .INCLUDE : target.mk +.IF "$(OS)" == "WNT" +INCLUDE!:=$(subst,/stl, $(INCLUDE)) +.EXPORT : INCLUDE +.ENDIF .INCLUDE : tg_wntx64.mk |