X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=blobdiff_plain;f=configure;h=ab28fa30e4faa3da57dfed954ada4c8b35a9698d;hp=e55f067e4bf696fe8c35228771eebf24804ec9a6;hb=cfa246272d61c735dd77b9a873ce477d81321c46;hpb=a2a522a758518d19e0cf4b96cf3c55287b0fbf4f;ds=sidebyside diff --git a/configure b/configure index e55f067e..ab28fa30 100755 --- a/configure +++ b/configure @@ -1,5 +1,15 @@ #! /bin/sh +# defaults +PREFIX=/usr/local + +# option parsing +for option; do + if [ "${option%=*}" = '--prefix' ] ; then + PREFIX="${option#*=}" + fi +done + cat < Makefile.config <