summaryrefslogtreecommitdiff
path: root/gnu/system
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2021-10-18 13:09:54 +0200
committerRicardo Wurmus <rekado@elephly.net>2021-10-18 13:09:54 +0200
commit0df1eb029efe5ebe3f02e36fa650cae4aaba89ec (patch)
treef370dbd2fd3676b8c910cb9c464aa198b326b1c5 /gnu/system
parent62fd9d75535bd0de797adc7b1f280a7eb950acdf (diff)
gnu: flashrom: Patch type error.
* gnu/packages/flashing-tools.scm (flashrom)[arguments]: Add phase 'patch-type-error to fix a compilation error.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions