diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-07-28 11:00:49 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-07-28 15:08:07 +0200 |
| commit | 5193ae64ca0c3322364163d356a6d69173c3d233 (patch) | |
| tree | 867d7d12c1e48ce441db5dbf97e9343018e12b34 /graph.js | |
| parent | 346a632144b89f45b3966732edacc2bfa07126a7 (diff) | |
gnu: mariadb: Work around GCC ICE on armhf-linux.
* gnu/packages/patches/mariadb-gcc-ice.patch: New file.
* gnu/packages/databases.scm (mariadb)[arguments]: Conditionally add
'apply-patch' phase.
[native-inputs]: Conditionally add "gcc-ice-patch" input.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions