From 964399c079f312312f75c41d6f58d323822b6cf0 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Sun, 20 Nov 2011 19:23:50 +0000
Subject: [PATCH] * "sed" on FreeBSD doesn't know the "+" operator.

---
 configure.ac | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/configure.ac b/configure.ac
index 2ce755d66a..f9f3376b52 100644
--- a/configure.ac
+++ b/configure.ac
@@ -27,13 +27,10 @@ AC_ARG_WITH(system, AC_HELP_STRING([--with-system=SYSTEM],
      linux-gnu*)
 	# For backward compatibility, strip the `-gnu' part.
 	system="$machine_name-linux";;
-     freebsd*)
-	# Strip the version number (e.g. freebsd8.2).
-	system="$machine_name-freebsd";;
      *)
         # Strip the version number from names such as `gnu0.3',
         # `darwin10.2.0', etc.
-	system="$machine_name-`echo $host_os | "$SED" -e's/[0-9.]\+$//g'`";;
+	system="$machine_name-`echo $host_os | "$SED" -e's/[0-9.]*$//g'`";;
    esac])
 
 AC_MSG_RESULT($system)