From d8d931febad5e4d9b9ef44f94c31e2a0db578fd9 Mon Sep 17 00:00:00 2001
From: Carles Fernandez <carles.fernandez@gmail.com>
Date: Tue, 28 Aug 2018 20:19:44 +0200
Subject: [PATCH] Remove outdated tap for homebrew

---
 CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 9be84be8d..4d8d7cc94 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -523,7 +523,6 @@ if(NOT GNURADIO_RUNTIME_FOUND)
        message("You can install it easily via Macports:")
        message("  sudo port install gnuradio ")
        message("Alternatively, you can use homebrew:")
-       message("  brew tap odrisci/gnuradio")
        message("  brew install gnuradio" )
        message(FATAL_ERROR "GNU Radio ${GNSSSDR_GNURADIO_MIN_VERSION} or later is required to build gnss-sdr")
    endif(OS_IS_MACOSX)