diff options
Diffstat (limited to 'lang/chibi-scheme/files/patch-Makefile')
| -rw-r--r-- | lang/chibi-scheme/files/patch-Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lang/chibi-scheme/files/patch-Makefile b/lang/chibi-scheme/files/patch-Makefile index b7234090636a..81836371cec6 100644 --- a/lang/chibi-scheme/files/patch-Makefile +++ b/lang/chibi-scheme/files/patch-Makefile @@ -1,6 +1,6 @@ ---- Makefile.orig 2020-10-14 09:49:18.314212000 +0000 -+++ Makefile 2020-10-14 09:51:06.922727000 +0000 -@@ -11,7 +11,7 @@ +--- 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 |