strict machine check

This commit is contained in:
Pascal Vizeli 2020-09-10 10:05:14 +02:00 committed by GitHub
parent 70a1f2c2d9
commit 649c6906bc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -137,7 +137,7 @@ case $ARCH in
;;
esac
if [[ ! "intel-nuc odroid-c2 odroid-n2 odroid-xu qemuarm qemuarm-64 qemux86 qemux86-64 raspberrypi raspberrypi2 raspberrypi3 raspberrypi4 raspberrypi3-64 raspberrypi4-64 tinker" = *"${MACHINE}"* ]]; then
if [[ ! "${MACHINE}" =~ (intel-nuc|odroid-c2|odroid-n2|odroid-xu|qemuarm|qemuarm-64|qemux86|qemux86-64|raspberrypi|raspberrypi2|raspberrypi3|raspberrypi4|raspberrypi3-64|raspberrypi4-64|tinker) ]]; then
error "Unknown machine type ${MACHINE}!"
fi