Commit dc9cde60 authored by Simon Marlow's avatar Simon Marlow

Fix configure summary: --enable-shared has gone

parent 2c3ac937
......@@ -940,9 +940,7 @@ fi
echo ["\
Building DocBook HTML documentation : $BUILD_DOCBOOK_HTML
Building DocBook PS documentation : $BUILD_DOCBOOK_PS
Building DocBook PDF documentation : $BUILD_DOCBOOK_PDF
Building shared libraries : $BuildSharedLibs"]
Building DocBook PDF documentation : $BUILD_DOCBOOK_PDF"]
echo ["----------------------------------------------------------------------
"]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment