From 34d26315028d3044d02dbc9bfab72d5207ebe574 Mon Sep 17 00:00:00 2001 From: castano Date: Wed, 8 Dec 2010 19:58:14 +0000 Subject: [PATCH] Remove duplicate line. --- configure | 1 - 1 file changed, 1 deletion(-) diff --git a/configure b/configure index e130c85..f83a38a 100755 --- a/configure +++ b/configure @@ -29,7 +29,6 @@ do --debug ) build="Debug" ;; --release ) build="Release" ;; --prefix=* ) prefix="${i#--prefix=}" ;; - --prefix=* ) prefix="${i#--prefix=}" ;; * ) echo "Unrecognised argument $i" ;; esac done