diff options
Diffstat (limited to 'lang/J/files/patch-make_makefile')
| -rw-r--r-- | lang/J/files/patch-make_makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/J/files/patch-make_makefile b/lang/J/files/patch-make_makefile new file mode 100644 index 000000000000..b8cde983f6a5 --- /dev/null +++ b/lang/J/files/patch-make_makefile @@ -0,0 +1,11 @@ +--- make/makefile.orig 2018-02-24 19:45:08 UTC ++++ make/makefile +@@ -3,7 +3,7 @@ vpath % $(jgit)/jsrc + %.o: %.c + $(CC) -c $(CFLAGS) $(CFLAGS_FMA) -o$@ $^ + +-CFLAGS=$(COMPILE) ++CFLAGS+=$(COMPILE) + $(OBJS_FMA) : CFLAGS_FMA := -mfma + $(TARGET) : $(OBJS) $(OBJS_FMA) + $(CC) $(OBJS) $(OBJS_FMA) $(LINK) |