Rename scripts/ to tools/

This commit is contained in:
jo 2021-09-07 22:56:35 +02:00
parent 2513f08d07
commit 7cb3501540
8 changed files with 4 additions and 4 deletions

View file

@ -764,7 +764,7 @@ if [ "$ignore_dependencies" = "f" ]; then
set -e
package_list=$(
"${SCRIPT_DIR}/scripts/packages.py" --format=line "${code}" "${packages_files[@]}" ||
"${SCRIPT_DIR}/tools/packages.py" --format=line "${code}" "${packages_files[@]}" ||
(echo "ERROR: could not generate packages list" >&2 && exit 1)
)
set +e