From 5091cadcd0ab80c356cf47e56decbf6437f5d697 Mon Sep 17 00:00:00 2001 From: Paul Luse Date: Tue, 13 Jun 2017 17:01:22 -0700 Subject: [PATCH] bsd: add check for coverage Error if trying to build with coverage on FreeBSD, this may be something we try to resolve later but is not a priority right now so lets just avoid people running into issues if they try. Change-Id: Ie90cec38e8fee1e6cfb5ca5d2dbff8a68146569c Signed-off-by: Paul Luse Reviewed-on: https://review.gerrithub.io/365300 Tested-by: SPDK Automated Test System Reviewed-by: Jim Harris Reviewed-by: Daniel Verkamp Reviewed-by: Ben Walker --- configure | 8 ++++++++ 1 file changed, 8 insertions(+) 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