diff --git a/games/crafty/files/patch-Makefile b/games/crafty/files/patch-Makefile index 489a36e9be21..121d8877f9c8 100644 --- a/games/crafty/files/patch-Makefile +++ b/games/crafty/files/patch-Makefile @@ -1,15 +1,19 @@ ---- Makefile.orig 2016-10-03 22:11:34.000000000 +0200 -+++ Makefile 2017-07-15 23:47:33.427574000 +0200 -@@ -83,9 +83,9 @@ quick: +--- Makefile.orig 2016-10-03 20:11:34 UTC ++++ Makefile +@@ -83,11 +83,11 @@ quick: unix-gcc: $(MAKE) -j target=UNIX \ - CC=gcc \ - opt='-DSYZYGY -DTEST -DCPUS=4' \ - CFLAGS='-Wall -Wno-array-bounds -pipe -O3 -fprofile-use \ +- -mpopcnt -fprofile-correction -pthread' \ +- LDFLAGS='$(LDFLAGS) -fprofile-use -pthread -lstdc++' \ + CC=$(CC) \ + opt='$(opt) -DSYZYGY -DTEST -DCPUS=4' \ -+ CFLAGS='$(CFLAGS) -Wall -Wno-array-bounds -pipe -O3 -fprofile-use \ - -mpopcnt -fprofile-correction -pthread' \ - LDFLAGS='$(LDFLAGS) -fprofile-use -pthread -lstdc++' \ ++ CFLAGS='$(CFLAGS) -Wall -Wno-array-bounds -pipe -O3 \ ++ -mpopcnt -pthread' \ ++ LDFLAGS='$(LDFLAGS) -pthread -lstdc++' \ crafty-make + + unix-gcc-profile: diff --git a/games/crafty/files/patch-option.c b/games/crafty/files/patch-option.c index ab8c93d27d81..4ba5b4bee0fb 100644 --- a/games/crafty/files/patch-option.c +++ b/games/crafty/files/patch-option.c @@ -1,5 +1,5 @@ ---- option.c.orig 2016-10-28 05:11:42.000000000 +0200 -+++ option.c 2017-07-15 23:35:58.863941000 +0200 +--- option.c.orig 2016-10-28 03:11:42 UTC ++++ option.c @@ -978,9 +978,11 @@ int Option(TREE * RESTRICT tree) { else if (OptionMatch("help", *args)) { FILE *helpfile;