summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 43881cd12f..f8054cffbb 100755
--- a/configure
+++ b/configure
@@ -1563,7 +1563,7 @@ case $target_os in
;;
*)
- target_os="${target_os}-UNKNOWN"
+ die "Unknown OS '$target_os'."
;;
esac