]> granicus.if.org Git - php/commitdiff
- no need to diplay that
authorPierre Joye <pajoye@php.net>
Mon, 13 Dec 2010 20:56:44 +0000 (20:56 +0000)
committerPierre Joye <pajoye@php.net>
Mon, 13 Dec 2010 20:56:44 +0000 (20:56 +0000)
win32/build/confutils.js

index 75c27b9b7705bcf14373b41500bbfe976d0c1649..2609cf5c9696cc8898104372d38219e90c2d25ce 100644 (file)
@@ -1516,11 +1516,6 @@ function write_summary()
 \r
        STDOUT.WriteBlankLines(2);\r
 \r
-\r
-       STDOUT.WriteLine("Shared headers:");\r
-       output_as_table(["Headers", "Type", "target"], headers_install);\r
-       STDOUT.WriteBlankLines(2);\r
-\r
        STDOUT.WriteLine("Enabled extensions:");\r
        output_as_table(["Extension", "Mode"], extensions_enabled.sort());\r
        STDOUT.WriteBlankLines(2);\r