diff options
Diffstat (limited to 'shell/inc/makefile.mk')
| -rwxr-xr-x | shell/inc/makefile.mk | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/shell/inc/makefile.mk b/shell/inc/makefile.mk index c297cb4f77e9..0cef5fadb652 100755 --- a/shell/inc/makefile.mk +++ b/shell/inc/makefile.mk @@ -37,11 +37,3 @@ TARGET=inc # --- Targets ------------------------------------------------------- .INCLUDE : target.mk - -.IF "$(ENABLE_PCH)"!="" -ALLTAR : \ - $(SLO)$/precompiled.pch \ - $(SLO)$/precompiled_ex.pch - -.ENDIF # "$(ENABLE_PCH)"!="" - |