diff options
Diffstat (limited to 'win32')
-rw-r--r-- | win32/Makefile.sub | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/win32/Makefile.sub b/win32/Makefile.sub index 6594648561..326bd7fa7a 100644 --- a/win32/Makefile.sub +++ b/win32/Makefile.sub @@ -527,11 +527,6 @@ MINIPRELUDE_C = $(srcdir)/miniprelude.c !else MINIPRELUDE_C = miniprelude.c !endif -!if !exist(prelude.c) && exist($(srcdir)/prelude.c) -PRELUDE_C = $(srcdir)/prelude.c -!else -PRELUDE_C = prelude.c -!endif !if !exist(golf_prelude.c) && exist($(srcdir)/golf_prelude.c) GOLF_PRELUDE_C = $(srcdir)/golf_prelude.c !else |