From 851cb9c0321d23e28145c795ace887d339d1c391 Mon Sep 17 00:00:00 2001 From: gregory guy Date: Fri, 4 Jan 2019 15:22:28 +0100 Subject: [PATCH] arts is required not requested as optional Signed-off-by: gregory guy --- ConfigureChecks.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ConfigureChecks.cmake b/ConfigureChecks.cmake index f1eea06..151daf3 100644 --- a/ConfigureChecks.cmake +++ b/ConfigureChecks.cmake @@ -48,5 +48,5 @@ endif( BUILD_TRANSLATIONS ) pkg_search_module( ARTS arts ) if( NOT ARTS_FOUND ) - message( FATAL_ERROR "\naRts is requested, but was not found on your system" ) + tde_message_fatal( "aRts is required, but was not found on your system" ) endif( )