diff options
| author | Xi Ruoyao <xry111@xry111.site> | 2023-09-04 17:49:55 +0800 |
|---|---|---|
| committer | Xi Ruoyao <xry111@xry111.site> | 2023-09-04 17:49:55 +0800 |
| commit | 26c031abf9658f0bb8b0ea335c56b23671f49942 (patch) | |
| tree | 5935497d1fec6a940c86eb1f4978866acb5bc405 /part3intro/generalinstructions.xml | |
| parent | ffecb9ef81622be4dd465e359bea824858514495 (diff) | |
dependencies: Add patchutils as check optional dependency
The configure script says:
configure: WARNING: filterdiff not installed; build will not be
reproducible.
The filterdiff program is a part of patchutils.
Diffstat (limited to 'part3intro/generalinstructions.xml')
0 files changed, 0 insertions, 0 deletions