ghci: fix error handling

2021-07-27 20:31:27 +02:00 · 2021-07-27 20:31:27 +02:00 · 4783293a3d
parent 2e3dfae72d
commit 4783293a3d
1 changed files with 1 additions and 1 deletions
--- 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