Avoid deleting the ostream more than once.
-rw-r--r-- 103 Makefile
-rw-r--r-- 617 Makefile.Linux
-rw-r--r-- 593 Makefile.SunOS
-rw-r--r-- 14116 Makefile.common
-rw-r--r-- 1106 Makefile.config
-rw-r--r-- 14116 Makefile.rules
drwxr-xr-x - docs
drwxr-xr-x - include
drwxr-xr-x - lib
drwxr-xr-x - runtime
drwxr-xr-x - support
drwxr-xr-x - test
drwxr-xr-x - tools
drwxr-xr-x - utils