diff --git a/maint/ManyConfigTests b/maint/ManyConfigTests index 0db61a4..ce4692c 100755 --- a/maint/ManyConfigTests +++ b/maint/ManyConfigTests @@ -136,12 +136,13 @@ runtest() echo "Making" make -j >/dev/null 2>teststderrM + makeRC=$? if command -v sed >/dev/null 2>&1 ; then sed "/\`u' modifier ignored since \`D' is the default/ d" \ teststderrM > teststderrMM mv -f teststderrMM teststderrM fi - if [ $? -ne 0 -o -s teststderrM ]; then + if [ $makeRC -ne 0 -o -s teststderrM ]; then echo " " echo "******** Errors or warnings while making ********" echo " "