;;

			;;

		x86_64-*-linux-gnu)

		x86_64-*-linux-gnu)

			AFS_SYSNAME="amd64_linuxXX"

			AFS_SYSNAME="amd64_linuxXX"

			;;

			;;

		*)

		*)

			{ echo "configure: error: An AFS sysname is required" 1>&2; exit 1; }

			{ echo "configure: error: An AFS sysname is required" 1>&2; exit 1; }

			;;

			;;

		x86_64-*-linux-gnu)

		x86_64-*-linux-gnu)

			AFS_SYSNAME="amd64_linuxXX"

			AFS_SYSNAME="amd64_linuxXX"

			;;

			;;

		*)

		*)

			AC_MSG_ERROR(An AFS sysname is required)

			AC_MSG_ERROR(An AFS sysname is required)

			;;

			;;

		x86_64-*-linux-gnu)

		x86_64-*-linux-gnu)

			AFS_SYSNAME="amd64_linuxXX"

			AFS_SYSNAME="amd64_linuxXX"

			;;

			;;

		*)

		*)

			AC_MSG_ERROR(An AFS sysname is required)

			AC_MSG_ERROR(An AFS sysname is required)