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