diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-01-26 13:56:06 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-26 13:56:06 +0000 |
| commit | 7267fb40fb51ddbc9cc5c1c82b0a12807ef7b281 (patch) | |
| tree | ee50984098515c85257df0802f24d6b82f9a0b92 /dev-lang/smlnj/files | |
| parent | 220317eb99d11e6c68af921f2855409bc506461a (diff) | |
gentoo auto-resync : 26:01:2023 - 13:56:06
Diffstat (limited to 'dev-lang/smlnj/files')
| -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) |