diff options
| -rw-r--r-- | make/utilities.pm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/make/utilities.pm b/make/utilities.pm index fdc4c4c7b..683294d00 100644 --- a/make/utilities.pm +++ b/make/utilities.pm @@ -447,6 +447,9 @@ sub translate_functions($$) my $err = $@; #$err =~ s/at .+? line \d+.*//g; print "\n\nConfiguration failed. The following error occured:\n\n$err\n"; + print "\nIn the case of gnutls configuration errors on debian,\n"; + print "Ubuntu, etc, you should ensure that you have installed\n"; + print "gnutls-bin as well as gnutls-dev and gnutls.\n"; exit; } else |