diff options
Diffstat (limited to 'games/freedoko/files/patch-player!Makefile')
| -rw-r--r-- | games/freedoko/files/patch-player!Makefile | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/games/freedoko/files/patch-player!Makefile b/games/freedoko/files/patch-player!Makefile deleted file mode 100644 index a4d019d3e154..000000000000 --- a/games/freedoko/files/patch-player!Makefile +++ /dev/null @@ -1,20 +0,0 @@ ---- player/Makefile~ Mon Mar 8 12:13:13 2004 -+++ player/Makefile Wed Jun 2 19:54:21 2004 -@@ -11,13 +11,13 @@ - directories : always - ifeq ($(SHELLTYPE), sh) - @for d in $(DIRECTORIES); do \ -- make -C $$d || exit; \ -+ $(MAKE) -C $$d || exit; \ - done - endif - ifeq ($(SHELLTYPE), COMMAND.COM) -- make -C human -- make -C ai -- make -C ai.dummy -+ $(MAKE) -C human -+ $(MAKE) -C ai -+ $(MAKE) -C ai.dummy - endif - - |