826298483a
Avoid crashing 'make' with: No package 'devmapper' found by disabling the devmapper driver when the library it requires is not installed. Also give the libdm_no_deferred_remove script a more specific name to avoid confusion. Signed-off-by: W. Trevor King <wking@tremily.us>
7 lines
148 B
Bash
Executable file
7 lines
148 B
Bash
Executable file
#!/bin/bash
|
|
cc -E - > /dev/null 2> /dev/null << EOF
|
|
#include <libdevmapper.h>
|
|
EOF
|
|
if test $? -ne 0 ; then
|
|
echo exclude_graphdriver_devicemapper
|
|
fi
|