diff --git a/autogen.pl b/autogen.pl index 33e9f9d7af..5999baaeda 100755 --- a/autogen.pl +++ b/autogen.pl @@ -1190,9 +1190,6 @@ if (-e "orcm") { #--------------------------------------------------------------------------- -$full_hostname = `hostname`; -chomp($full_hostname); - $m4 = "dnl dnl \$HEADER\$ dnl