Commit e13dc23c authored by Bernd Edlinger's avatar Bernd Edlinger
Browse files

Make the config script fail with an error code if Configure failed

parent aa4312d2
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -929,5 +929,6 @@ if [ $? = "0" ]; then
  fi
else
  echo "This system ($OUT) is not supported. See file INSTALL for details."
  exit 1
fi
)