diff options
Diffstat (limited to 'win32/Makefile.sub')
-rw-r--r-- | win32/Makefile.sub | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/win32/Makefile.sub b/win32/Makefile.sub index 392941702b..c0cdfa9fb7 100644 --- a/win32/Makefile.sub +++ b/win32/Makefile.sub @@ -391,8 +391,6 @@ MINIPRELUDE_C = miniprelude.c !else if [for %I in ($(srcdir:/=\)\bin\*) do @echo>>scriptbin.mk %~nI.exe \] !else if [echo.>>scriptbin.mk] !else if [echo.>>scriptbin.mk] -!else -!include scriptbin.mk !endif !if [for %I in ($(srcdir:/=\)\bin\*) do @for %J in (\ "%~nI.exe: $$(srcdir)/bin/%~nI" \ |