From d021ce53af068ee9070bf12d7d1e9d016e326035 Mon Sep 17 00:00:00 2001
From: King_DuckZ <king_duckz@gmx.com>
Date: Thu, 25 Sep 2014 19:39:49 +0200
Subject: [PATCH] Print the backend name at configure time.

---
 src/CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 926d9a5..b82ff8d 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -17,6 +17,8 @@ else (REFERENCE_TIGER)
 	set(TIGER_SRC_FILES ../lib/freetiger/C/tiger.c)
 endif (REFERENCE_TIGER)
 
+message(STATUS "Using backend ${BACKEND_NAME}")
+
 configure_file(
 	"${PROJECT_SOURCE_DIR}/${PROJECT_NAME}Config.d.in"
 	"${PROJECT_BINARY_DIR}/${PROJECT_NAME}Config.d"