diff --git a/configure b/configure index 16c474e8ae..00f16abe60 100755 --- a/configure +++ b/configure @@ -1,6 +1,6 @@ #! /bin/sh -# From configure.in Id +# From configure.in Revision: 1.2 # Guess values for system-dependent variables and create Makefiles. # Generated automatically using autoconf version 2.12