diff options
Diffstat (limited to 'dist-tools/makerelease.pl')
| -rwxr-xr-x | dist-tools/makerelease.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist-tools/makerelease.pl b/dist-tools/makerelease.pl index c1339514..86e9ad71 100755 --- a/dist-tools/makerelease.pl +++ b/dist-tools/makerelease.pl @@ -96,7 +96,7 @@ if (system("autoreconf -ifs" . ($verbose ? 'v' : ''))) { print "### configure\n"; if (system("mkdir -p autobuild && cd autobuild " - . " && ../configure -C --silent ")) { die("Configuration failure\n"); } + . " && ../configure -C --silent --with-ssl")) { die("Configuration failure\n"); } print "### Test-building the software...\n"; if (system("cd autobuild && make -s clean" |