From 7a969670ac595fdf651376ed1d2801154b3eaa2d Mon Sep 17 00:00:00 2001 From: Marcelo Aquino Date: Fri, 21 Oct 2016 17:17:28 -0200 Subject: [PATCH] RPi: Add warning msg for deprecated option --- configure | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/configure b/configure index 6d987af..4d54aa1 100755 --- a/configure +++ b/configure @@ -255,6 +255,10 @@ for opt do --my-transport=*) transport_type=${optarg} ;; + --my-radio=*) + echo "Warning: --my-radio is deprecated, please use --my-transport" + transport_type=${optarg} + ;; --my-serial-port=*) CXXFLAGS="-DMY_LINUX_SERIAL_PORT=\\\"${optarg}\\\" $CXXFLAGS" ;;