diff --git a/configure b/configure
index e95915f2d..8c7ee2483 100755
--- a/configure
+++ b/configure
@@ -167,6 +167,14 @@ if [ "$CONFIG_ASAN" = "y" -a "$CONFIG_TSAN" = "y" ]; then
 	exit 1
 fi
 
+if [[ "$OSTYPE" == "FreeBSD"* ]]; then
+        # FreeBSD doesn't support all configurations
+        if [[ "$CONFIG_COVERAGE" == "y" ]]; then
+                echo "ERROR: CONFIG_COVERAGE not available on FreeBSD"
+                exit 1
+        fi
+fi
+
 echo -n "Creating CONFIG.local..."
 
 # Write the configuration file