On Mon, 5 Mar 2012 11:23:43 +0100, Justus Winter <4winter at
informatik.uni-hamburg.de> wrote:
> Signed-off-by: Justus Winter <4winter at informatik.uni-hamburg.de>
> ---
> configure |6 +++---
> 1 files changed, 3 insertions(+), 3 deletions(-)
pushed both.
d
On Mon, 5 Mar 2012 11:23:43 +0100, Justus Winter
<4win...@informatik.uni-hamburg.de> wrote:
> Signed-off-by: Justus Winter <4win...@informatik.uni-hamburg.de>
> ---
> configure |6 +++---
> 1 files changed, 3 insertions(+), 3 deletions(-)
pushed both.
d
On Mon, 5 Mar 2012 11:23:43 +0100, Justus Winter <4winter at
informatik.uni-hamburg.de> wrote:
> Signed-off-by: Justus Winter <4winter at informatik.uni-hamburg.de>
> ---
> configure |6 +++---
> 1 files changed, 3 insertions(+), 3 deletions(-)
These two patches do indeed seem to fix the bu
On Mon, 5 Mar 2012 11:23:43 +0100, Justus Winter
<4win...@informatik.uni-hamburg.de> wrote:
> Signed-off-by: Justus Winter <4win...@informatik.uni-hamburg.de>
> ---
> configure |6 +++---
> 1 files changed, 3 insertions(+), 3 deletions(-)
These two patches do indeed seem to fix the build on
Signed-off-by: Justus Winter <4winter at informatik.uni-hamburg.de>
---
configure |6 +++---
1 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/configure b/configure
index 8b85b9d..77203ed 100755
--- a/configure
+++ b/configure
@@ -362,9 +362,9 @@ elif [ $uname = "SunOS" ] ; then
Signed-off-by: Justus Winter <4win...@informatik.uni-hamburg.de>
---
configure |6 +++---
1 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/configure b/configure
index 8b85b9d..77203ed 100755
--- a/configure
+++ b/configure
@@ -362,9 +362,9 @@ elif [ $uname = "SunOS" ] ; then
Signed-off-by: Justus Winter <4winter at informatik.uni-hamburg.de>
---
configure |6 +++---
1 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/configure b/configure
index 8b85b9d..77203ed 100755
--- a/configure
+++ b/configure
@@ -362,9 +362,9 @@ elif [ $uname = "SunOS" ] ; then
Signed-off-by: Justus Winter <4win...@informatik.uni-hamburg.de>
---
configure |6 +++---
1 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/configure b/configure
index 8b85b9d..77203ed 100755
--- a/configure
+++ b/configure
@@ -362,9 +362,9 @@ elif [ $uname = "SunOS" ] ; then