diff options
-rw-r--r-- | dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch b/dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch index c16fece127be..8073e36baf41 100644 --- a/dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch +++ b/dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch @@ -1,12 +1,10 @@ --- a/base/runtime/c-libs/smlnj-date/makefile 2023-01-23 08:32:22.450319630 +0100 +++ b/base/runtime/c-libs/smlnj-date/makefile 2023-01-23 08:37:23.920174357 +0100 -@@ -26,7 +26,8 @@ +@@ -26,6 +26,7 @@ strftime.o \ unix-date.o --$(LIBRARY) : $(VERSION) $(OBJS) -+$(LIBRARY) : $(VERSION) -+ $(MAKE) $(OBJS) ++$(OBJS) : $(VERSION) + $(LIBRARY) : $(VERSION) $(OBJS) rm -rf $(LIBRARY) $(AR) $(ARFLAGS) $(LIBRARY) $(OBJS) - $(RANLIB) $(LIBRARY) |