diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/deplist | 1 | ||||
| -rwxr-xr-x | scripts/setup | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/scripts/deplist b/scripts/deplist index 1ff6ca338..70d73c047 100755 --- a/scripts/deplist +++ b/scripts/deplist @@ -143,6 +143,7 @@ EOF cmd:mcookie) _d=$(parent ${d#cmd:*}); ;; cmd:pkg-config) _d=pkgconf; ;; cmd:unix2dos) _d=dos2unix; ;; + cmd:xsltproc) _d=libxslt; ;; cargo-*) _d=rust; ;; guile-dev) _d=guile; ;; llvm-dev) _d=$(parent llvm14-dev); ;; diff --git a/scripts/setup b/scripts/setup index 5577c7244..723fe062b 100755 --- a/scripts/setup +++ b/scripts/setup @@ -29,7 +29,7 @@ gcc -o "${HERE}"/sgrep "${HERE}"/sgrep.c -O3; # # MAINTAINERS: If repos renamed/added/removed, must update below. # -for repo in system user legacy; do +for repo in system user; do find "${BASE}/${repo}" -mindepth 1 -maxdepth 1 -type d | sort | while read k; do ( ## |