From d5f3c9c3d1079faa4ffb1a9597fa8cd3289c557b Mon Sep 17 00:00:00 2001
From: Tomas Plesnik <plesnik@ics.muni.cz>
Date: Fri, 26 Dec 2014 23:12:32 +0100
Subject: [PATCH] do informativni hlasky pridan prefix Error:
---
packages/build-server.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/packages/build-server.sh b/packages/build-server.sh
index e6a2f91..e6d04b4 100755
--- a/packages/build-server.sh
+++ b/packages/build-server.sh
@@ -11,7 +11,7 @@ VERSION="2.2"
err()
{
echo "FAILED!"
- cat "$err"
+ echo -n "Error: " && cat "$err"
rm -f "$err" "$tar" "$sig"
rm -rf "$package"
echo
--
GitLab