diff options
Diffstat (limited to 'autoconf/configure.ac')
| -rw-r--r-- | autoconf/configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index 0d15ee0e96..9bf2d0e433 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -438,7 +438,7 @@ AC_ARG_ENABLE([bindings],AS_HELP_STRING([--enable-bindings], enableval=default) BINDINGS_TO_BUILD="" case "$enableval" in - all | yes | default | auto) BINDINGS_TO_BUILD="auto" ;; + yes | default | auto) BINDINGS_TO_BUILD="auto" ;; all ) BINDINGS_TO_BUILD="ocaml" ;; none | no) BINDINGS_TO_BUILD="" ;; *)for a_binding in `echo $enableval|sed -e 's/,/ /g' ` ; do |