diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-01-23 12:55:08 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-23 12:55:08 +0000 |
| commit | 47bb4031ea0e98a9423d423f2181c0e3d06f256b (patch) | |
| tree | 6a54fb70ac916b8ae725d002ac4a71386c8b6e2f /dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch | |
| parent | 9a1d1c6b10a4640cea10e7040ed173cf593f4cab (diff) | |
gentoo auto-resync : 23:01:2023 - 12:55:07
Diffstat (limited to 'dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch')
| -rw-r--r-- | dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch | 12 |
1 files changed, 12 insertions, 0 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 new file mode 100644 index 000000000000..c16fece127be --- /dev/null +++ b/dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch @@ -0,0 +1,12 @@ +--- 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 @@ + strftime.o \ + unix-date.o + +-$(LIBRARY) : $(VERSION) $(OBJS) ++$(LIBRARY) : $(VERSION) ++ $(MAKE) $(OBJS) + rm -rf $(LIBRARY) + $(AR) $(ARFLAGS) $(LIBRARY) $(OBJS) + $(RANLIB) $(LIBRARY) |