diff options
author | Pierre Letouzey <pierre.letouzey@inria.fr> | 2013-11-23 12:38:49 +0100 |
---|---|---|
committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2013-11-23 13:14:55 +0100 |
commit | a876cfe8c144d62e825d938675d54a830e380b26 (patch) | |
tree | 082c96d0d48a9c8227052c81b5469e12133040df | |
parent | 2350a6042b08d3793dc2fac535fadfaa623ac549 (diff) |
configure: typo in my last commit
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -334,7 +334,7 @@ fi # make command -MAKE=`which ${makecmd:-make}` +MAKE=`which ${makecmd:-make}` # NB: ${a:-b} is $a, or b when $a is undefined if [ "$MAKE" != "" ]; then # Beware of the final \r in Win32 MAKEVERSION=`"$MAKE" -v | head -1 | tr -d "\r" | cut -d" " -f3` @@ -641,7 +641,7 @@ else no) # Beware of the final \r in Win32 lablgtkdirtmp="$(ocamlfind query lablgtk2.sourceview2 2> /dev/null | tr -d '\r')" - if [ "$labgtkdirtmp" != "" ]; then + if [ "$lablgtkdirtmp" != "" ]; then if [ ! -f "$lablgtkdirtmp/gSourceView2.cmi" ]; then echo "Incomplete Lablgtk2 found by ocamlfind (gSourceView2.cmi not found)." elif [ ! -f "$lablgtkdirtmp/glib.mli" ]; then |