# Linux kishi03 3.2.0-51-highbank #77-Ubuntu SMP PREEMPT Thu Jul 25 04:09:51 UTC 2013 armv7l armv7l armv7l GNU/Linux

It was created by ecl configure 12.12.1, which was
generated by GNU Autoconf 2.69.  Invocation command line was

  $ /build/buildd/ecl-12.12.1/src/configure --srcdir=/build/buildd/ecl-12.12.1/src --build arm-linux-gnueabihf --prefix=/usr --mandir=${prefix}/share/man --infodir=${prefix}/share/info --with-system-gmp=yes --with-tcp --with-clx --enable-threads=yes --with-x --enable-unicode

