Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. --- othersrc/dist/cdk/configure 2001/01/04 19:58:20 1.1 +++ othersrc/dist/cdk/configure 2004/04/26 05:15:17 1.2 @@ -588,9 +588,6 @@ else system_name="`(hostname) 2>/dev/null`" fi fi -test -n "$system_name" && cat >> confdefs.h <&6