diff options
Diffstat (limited to 'lang/chibi-scheme/files/patch-Makefile')
| -rw-r--r-- | lang/chibi-scheme/files/patch-Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lang/chibi-scheme/files/patch-Makefile b/lang/chibi-scheme/files/patch-Makefile deleted file mode 100644 index 81836371cec6..000000000000 --- a/lang/chibi-scheme/files/patch-Makefile +++ /dev/null @@ -1,11 +0,0 @@ ---- Makefile.orig 2020-08-13 02:03:03 UTC -+++ Makefile -@@ -11,7 +11,7 @@ CHIBI_FFI ?= $(CHIBI) -q tools/chibi-ffi - CHIBI_FFI_DEPENDENCIES ?= $(CHIBI_DEPENDENCIES) tools/chibi-ffi - - CHIBI_DOC ?= $(CHIBI) tools/chibi-doc --CHIBI_DOC_DEPENDENCIES ?= $(CHIBI_DEPENDENCIES) tools/chibi-doc -+CHIBI_DOC_DEPENDENCIES ?= $(CHIBI_DEPENDENCIES) tools/chibi-doc $(COMPILED_LIBS) - - GENSTATIC ?= ./tools/chibi-genstatic - |