From ac042da7578ad41db52246998914bba77abc92a6 Mon Sep 17 00:00:00 2001 From: Luka Vandervelden Date: Tue, 28 May 2019 18:45:35 +0200 Subject: [PATCH] Crystal backend updated. --- build/crystal.zsh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/build/crystal.zsh b/build/crystal.zsh index 0536f2e..263cdab 100644 --- a/build/crystal.zsh +++ b/build/crystal.zsh @@ -1,7 +1,7 @@ function crystal.build { write "${target}: ${src[@]} ${depends[$target]}" - write "\t@echo '${fg_bold[magenta]} [CR] ${fg_bold[white]}$target${reset_color}'" + write "\t@echo '${fg_bold[magenta]} CR > ${fg_bold[white]}$target${reset_color}'" write "\t${Q}crystal ${src[@]} -o '${target}'" write "\n" @@ -16,7 +16,10 @@ function crystal.uninstall { } function crystal.clean { - script.clean "$@" + write "${target}.clean:" + write "\t@echo '$(RM ${target})'" + write "\t${Q}rm -f ${target}" + write } function crystal.distfiles {