configured by ./configure, generated by GNU Autoconf 2.69,
...
...
@@ -502,7 +502,7 @@ if $ac_cs_silent; then
fi
if$ac_cs_recheck;then
set X /bin/bash './configure''--prefix=/d/tsgx-build''--enable-assembly''--disable-shared''--enable-static''--with-pic''--enable-sgx'$ac_configure_extra_args--no-create--no-recursion
set X /bin/bash './configure''--with-trusted-gmpdir=/opt/gmp/6.1.2''--with-gmpdir=/d/gmp-build/'$ac_configure_extra_args--no-create--no-recursion