diff options
Diffstat (limited to 'lang/J/files/patch-make_makefile')
| -rw-r--r-- | lang/J/files/patch-make_makefile | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/lang/J/files/patch-make_makefile b/lang/J/files/patch-make_makefile index dde7365c7252..5a618610997b 100644 --- a/lang/J/files/patch-make_makefile +++ b/lang/J/files/patch-make_makefile @@ -1,9 +1,11 @@ ---- make/makefile.orig 2016-11-25 19:04:24 UTC +--- make/makefile.orig 2018-10-02 13:24:06 UTC +++ make/makefile -@@ -1,5 +1,5 @@ - vpath % $(jgit)/jsrc +@@ -3,7 +3,7 @@ vpath % $(jgit)/jsrc + %.o: %.c + $(CC) -c $(CFLAGS) $(CFLAGS_FMA) -o$@ $^ -CFLAGS=$(COMPILE) +CFLAGS+=$(COMPILE) - $(TARGET) : $(OBJS) - $(CC) $(OBJS) $(LINK) + $(OBJS_FMA) : CFLAGS_FMA := -mfma + $(TARGET) : $(OBJS) $(OBJS_FMA) + $(CC) $(OBJS) $(OBJS_FMA) $(LINK) |