# Linux bos02-arm64-028 4.4.0-173-generic #203-Ubuntu SMP Wed Jan 15 02:56:55 UTC 2020 armv7l armv7l armv7l GNU/Linux

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

  $ /build/ecl-Ute3EZ/ecl-16.1.3+ds/src/configure --srcdir=/build/ecl-Ute3EZ/ecl-16.1.3+ds/src --build=arm-linux-gnueabihf --prefix=/usr --includedir=${prefix}/include --mandir=${prefix}/share/man --infodir=${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-silent-rules --libdir=${prefix}/lib/arm-linux-gnueabihf --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking --enable-gmp=system --with-tcp --enable-threads=yes --enable-boehm=system --enable-libatomic=system --disable-rpath --with-x

