From 952af0b75ade0a69efd2c5f86cdcd90b3a5aeb43 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sun, 18 Nov 2018 17:02:17 +0100
Subject: [PATCH] replace bash-type code by more general code patch provided by
 Attila Kinali

---
 autogen.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/autogen.sh b/autogen.sh
index ad5889531..02301d938 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -118,7 +118,7 @@ check_adms_va()
         FOK=0
         if [ -d "$adms_dir" ]; then
                     ls $adms_dir/admsva/*.va  > /dev/null 2>&1
-                    exitcode=${PIPESTATUS[0]}
+                    exitcode=$?
                     if [ $exitcode -ne 0 ]; then
                        FOK=1
                     fi