diff options
Diffstat (limited to 'configure.pl')
-rwxr-xr-x | configure.pl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.pl b/configure.pl index 00c37eae1..20dcddbaa 100755 --- a/configure.pl +++ b/configure.pl @@ -1255,6 +1255,9 @@ sub load_modules { elsif($tr1 eq 'boost') { push @macro_list, '#define BOTAN_USE_BOOST_TR1'; } + else { + warning("Unknown --with-tr1= option $tr1, will ignore"); + } } my %defines; |