diff options
| author | Efraim Flashner <[email protected]> | 2019-01-08 10:45:01 +0200 |
|---|---|---|
| committer | Efraim Flashner <[email protected]> | 2019-01-08 12:29:40 +0200 |
| commit | 49fe965d28d497f234b032e9a170fb0b503d0204 (patch) | |
| tree | 031c999cc3ba9753007b633e5a73fe024f129b9d /.gitignore | |
| parent | b50938108947d47c9e3d37608df83a11020a4d8d (diff) | |
gnu: criu: Fix building on armhf-linux.
* gnu/packages/virtualization.scm (criu)[arguments]: Hardcode the arm
version in the Makefile.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions