diff options
Diffstat (limited to 'games-board/stockfish')
| -rw-r--r-- | games-board/stockfish/metadata.xml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/games-board/stockfish/metadata.xml b/games-board/stockfish/metadata.xml index 1f5c48a54c2b..7646e4b0f2d5 100644 --- a/games-board/stockfish/metadata.xml +++ b/games-board/stockfish/metadata.xml @@ -6,9 +6,9 @@ <name>Ben de Groot</name> </maintainer> <use> - <flag name='armv7'>Build for armv7; enables PIE</flag> - <flag name='general-32'>Generic unoptimized 32-bits build</flag> - <flag name='general-64'>Generic unoptimized 64-bits build</flag> - <flag name='optimize'>Enable upstream -O3 optimizations (default enabled)</flag> + <flag name="armv7">Build for armv7; enables PIE</flag> + <flag name="general-32">Generic unoptimized 32-bits build</flag> + <flag name="general-64">Generic unoptimized 64-bits build</flag> + <flag name="optimize">Enable upstream -O3 optimizations (default enabled)</flag> </use> </pkgmetadata> |