From 8d0708dee8dbdf6678788b4f1d47484b6b88c3cc Mon Sep 17 00:00:00 2001 From: Luka Vandervelden Date: Fri, 25 Oct 2019 15:14:22 +0200 Subject: [PATCH] Scripts in utils/* are now installed properly. --- project.zsh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/project.zsh b/project.zsh index f5e7474..49f5b51 100644 --- a/project.zsh +++ b/project.zsh @@ -39,6 +39,11 @@ for file in templates/*.j2; do chmod[$file]=0644 done +for file in utils/*; do + targets+=($file) + type[$file]=script +done + # FIXME: This should be upstreamed. function script.install { if [[ "false" = "${install[$target]}" ]]; then