From 4783293a3d396addc812524b8fdeee9d8ce163c3 Mon Sep 17 00:00:00 2001 From: Rob Watson Date: Tue, 27 Jul 2021 20:31:27 +0200 Subject: [PATCH] ghci: fix error handling --- script/ghci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/ghci b/script/ghci index c625515..7dbc0dc 100755 --- a/script/ghci +++ b/script/ghci @@ -7,7 +7,7 @@ set -e export GH_NO_UPDATE_NOTIFIER=1 ghoutput=$(gh pr checks) -if [ ! $exitcode -eq 0 ]; then +if [ ! $? -eq 0 ]; then exit 1 fi