diff options
| author | gregory guy <g-gregory@gmx.fr> | 2019-01-04 15:22:28 +0100 |
|---|---|---|
| committer | gregory guy <g-gregory@gmx.fr> | 2019-01-04 15:22:28 +0100 |
| commit | 851cb9c0321d23e28145c795ace887d339d1c391 (patch) | |
| tree | 47a2de90ffe16223506f034a1e9b1e61644e5d1a | |
| parent | 7a0f90f2809ec97436f55aab39ddc5a0a2452b0e (diff) | |
| download | knights-851cb9c0321d23e28145c795ace887d339d1c391.tar.gz knights-851cb9c0321d23e28145c795ace887d339d1c391.zip | |
arts is required not requested as optional
Signed-off-by: gregory guy <g-gregory@gmx.fr>
| -rw-r--r-- | ConfigureChecks.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
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( ) |