wok diff hardinfo/receipt @ rev 22177
corrected font-manager
author | Hans-G?nter Theisgen |
---|---|
date | Sat Nov 09 11:33:35 2019 +0100 (2019-11-09) |
parents | 63cdeb5a1e77 |
children | b569b85b0fb9 |
line diff
1.1 --- a/hardinfo/receipt Sun Mar 03 15:44:44 2019 +0100 1.2 +++ b/hardinfo/receipt Sat Nov 09 11:33:35 2019 +0100 1.3 @@ -24,7 +24,7 @@ 1.4 languages.patch 1.5 os.patch 1.6 EOT 1.7 - sed i 's|uname -m|echo i686|' configure 1.8 + sed -i 's|uname -m|echo i686|' configure 1.9 ./configure \ 1.10 --prefix=/usr \ 1.11 $CONFIGURE_ARGS &&