1.1 --- a/prototype/configure	Thu Sep 20 10:04:25 2012 +0300
     1.2 +++ b/prototype/configure	Fri Sep 21 01:05:35 2012 +0300
     1.3 @@ -2,6 +2,7 @@
     1.4  
     1.5  opt=false
     1.6  dbg=true
     1.7 +profiling=false
     1.8  
     1.9  while [ $# -gt 0 ]; do
    1.10  	case $1 in
    1.11 @@ -9,10 +10,10 @@
    1.12  		PREFIX=`echo $1 | sed 's/--prefix=//'`
    1.13  		;;
    1.14  	--enable-*)
    1.15 -		`echo $1 | sed 's/--enable-//'`=true
    1.16 +		export `echo $1 | sed 's/--enable-//'`=true
    1.17  		;;
    1.18  	--disable-*)
    1.19 -		`echo $1 | sed 's/--disable-//'`=false
    1.20 +		export `echo $1 | sed 's/--disable-//'`=false
    1.21  		;;
    1.22  	esac
    1.23  	shift
    1.24 @@ -26,6 +27,9 @@
    1.25  if $dbg; then
    1.26  	echo 'dbg = -g' >>Makefile
    1.27  fi
    1.28 +if $profiling; then
    1.29 +	echo 'prof = -pg' >>Makefile
    1.30 +fi
    1.31  
    1.32  # determine the C++11 flags we need to pass to the C++ compiler
    1.33  if [ -z "$CXX" ]; then