From 9eb99c1ecd8feb147ea786e11354151efc0f0770 Mon Sep 17 00:00:00 2001
From: Jakob Moser <moser@cl.uni-heidelberg.de>
Date: Thu, 26 May 2022 13:54:27 +0200
Subject: [PATCH] Output error to stderr
---
entrypoint.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/entrypoint.sh b/entrypoint.sh
index 951469d..ff56c22 100644
--- a/entrypoint.sh
+++ b/entrypoint.sh
@@ -31,7 +31,7 @@ then
cat packed-parses.xml
exit 0
else
- # Print xle output to stdout and fail
- cat xle_messages.txt
+ # Print xle output to stderr and fail
+ cat xle_messages.txt >&2
exit 42
fi
--
GitLab