From: Jameson Graef Rollins Date: Sat, 28 Nov 2009 23:57:35 +0000 (-0500) Subject: Fix configure script to handle --prefix= X-Git-Tag: debian/0.0+201001211401~17^2~9 X-Git-Url: http://rtime.felk.cvut.cz/gitweb/notmuch.git/commitdiff_plain/2c2b31d536545189e426b382fad5b5ae0b6cc4de?hp=926c71e6b92a6aa993330e06c27eb9d9d67c6f82 Fix configure script to handle --prefix= Reviewed-by: Carl Worth : This is really the fundamental thing that people expect a configure script to do, so it's important to support it. --- diff --git a/configure b/configure index fd194ab0..70a3c3d8 100755 --- a/configure +++ b/configure @@ -3,6 +3,16 @@ CC=${CC:-gcc} CXX=${CXX:-g++} +# defaults +PREFIX=/usr/local + +# option parsing +for option; do + if [ "${option%=*}" = '--prefix' ] ; then + PREFIX="${option#*=}" + fi +done + cat <