diff options
author | Mark Linimon <linimon@FreeBSD.org> | 2019-09-24 04:06:15 +0000 |
---|---|---|
committer | Mark Linimon <linimon@FreeBSD.org> | 2019-09-24 04:06:15 +0000 |
commit | a4035bae885fc10ad2f65d386fb8cc5d7dffe1c5 (patch) | |
tree | bb6a15a450359af2e8febc9a7dd29591f1a1ab4e /games | |
parent | 6f1caf0a693ffb787863b2b4d583ad0f6ea80e0c (diff) |
Notes
Diffstat (limited to 'games')
-rw-r--r-- | games/pachi-game-engine/files/patch-Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/games/pachi-game-engine/files/patch-Makefile b/games/pachi-game-engine/files/patch-Makefile index 7a29c0e0a6bd..c8436358de88 100644 --- a/games/pachi-game-engine/files/patch-Makefile +++ b/games/pachi-game-engine/files/patch-Makefile @@ -1,5 +1,14 @@ --- Makefile.orig 2019-03-31 19:01:16 UTC +++ Makefile +@@ -12,7 +12,7 @@ + # Otherwise you may do without to enable more aggressive optimizations + # for this machine only. + +-# GENERIC=1 ++GENERIC=1 + + # Do you compile on Windows instead of Linux ? + # Please note that performance may not be optimal. @@ -105,8 +105,8 @@ DATADIR ?= $(PREFIX)/share/pachi # unless PROFILING=gprof.) OPT ?= -O3 |