From 12019873646636f5dd4d0951589228131d12459a Mon Sep 17 00:00:00 2001 From: xenia Date: Tue, 15 Aug 2023 12:23:23 +0200 Subject: [PATCH] Add -t to xargs, add bash --- buildScripts/build.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/buildScripts/build.sh b/buildScripts/build.sh index fbbb5eb..20a0477 100755 --- a/buildScripts/build.sh +++ b/buildScripts/build.sh @@ -1,10 +1,11 @@ +#!/usr/bin/env bash set -e mkdir -p artifacts log "Kompilerar backend..." find backend -type f -and -name '*.hs' -print0 \ - | xargs -0 ghc -o artifacts/Main \ + | xargs -t0 ghc -o artifacts/Main \ -odir artifacts \ -hidir artifacts \ -tmpdir artifacts