commit 62340ad33183e634ecf96a2764f3fb818d64147d
parent ffa76a947a38952f158e8eae53555c328305232b
Author: Pierre Curto <pierre.curto@gmail.com>
Date: Fri, 4 Nov 2022 17:52:51 +0100
rt/configure: exit on invalid arch
Signed-off-by: Pierre Curto <pierre.curto@gmail.com>
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/rt/configure b/rt/configure
@@ -30,6 +30,7 @@ rt() {
;;
*)
printf "unsupported FreeBSD arch %s\n" "$arch" >&2
+ exit 1
;;
esac
rtstart=rt/+freebsd/start+$arch.o
@@ -57,6 +58,7 @@ rt() {
;;
*)
printf "unsupported OpenBSD arch %s\n" "$arch" >&2
+ exit 1
;;
esac
rtstart=rt/+openbsd/start+$arch.o