gnu: linux-libre-headers: Set 'ARCH' to 'mips'.
authorNikita Karetnikov <nikita@karetnikov.org>
Tue, 19 Feb 2013 11:17:08 +0000 (11:17 +0000)
committerLudovic Courtès <ludo@gnu.org>
Wed, 27 Feb 2013 19:55:42 +0000 (20:55 +0100)
commit618cea694d92dd73482b2a08675c9dec84d512ac
tree652354cee07b2324fefebce2baf310585f2ec347
parent6ec8f7778f3f44f842782ecf164885ef6dbb1e4f
gnu: linux-libre-headers: Set 'ARCH' to 'mips'.

* gnu/packages/linux.scm (system->linux-architecture): New procedure.
  (linux-libre-headers): Adjust accordingly.
gnu/packages/linux.scm