From e25cb5915b12fcb3885f21f62b201bd058ea2c84 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christian=20Fra=C3=9F?= Date: Tue, 11 Jul 2023 20:40:04 +0200 Subject: [PATCH] [fix] makefile --- tools/makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/makefile b/tools/makefile index 148b489..db02ea5 100644 --- a/tools/makefile +++ b/tools/makefile @@ -5,6 +5,7 @@ cmd_typescript_compile := tsc cmd_concatenate := cat cmd_chmod := chmod cmd_echo := echo -e +cmd_echox := echo cmd_log := echo -e "--" @@ -29,7 +30,7 @@ source/main.ts build/sindri: lib/plankton/plankton.js temp/sindri-unlinked.js @ ${cmd_log} "linking …" @ ${cmd_create_directory} build - @ ${cmd_echo} "#!/usr/bin/env node\n" > temp/head.js + @ ${cmd_echox} "#!/usr/bin/env node\n" > temp/head.js @ ${cmd_concatenate} temp/head.js $^ > $@ @ ${cmd_chmod} +x $@