tree 07f286c2e4199982cb077412d8d70bd3ca9fe814
parent e698770d40637a97537c30abb46cab3883545017
author David Calavera <david.calavera@gmail.com> 1435680002 -0700
committer David Calavera <david.calavera@gmail.com> 1435873048 -0700

Fix implicit DeviceMapper selection

DeviceMapper must be explicitly selected because the Docker binary might not be linked to the right devmapper library.

With this change, Docker fails fast if the driver detection finds the devicemapper directory but the driver is not the default option.
The option `override_udev_sync_check` doesn't make sense anymore, since the user must be explicit to select devicemapper, so it's being removed.
Docker fails to use devicemapper only if Docker has been built statically unless the option was explicit.

Signed-off-by: David Calavera <david.calavera@gmail.com>