arts is required not requested as optional

Signed-off-by: gregory guy <g-gregory@gmx.fr>
(cherry picked from commit 851cb9c032)
r14.0.x
gregory guy 5 years ago committed by Slávek Banko
parent 7bb6dfc402
commit a91b429e85
Signed by: SlavekB
GPG Key ID: 608F5293A04BE668

@ -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( )

Loading…
Cancel
Save