diff options
-rwxr-xr-x | win/configure | 2 | ||||
-rwxr-xr-x | win/configure.in | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/win/configure b/win/configure index c0959b5..3ccfedb 100755 --- a/win/configure +++ b/win/configure @@ -1859,10 +1859,8 @@ ARCH=$with_arch prefix=$ac_pwd - exec_prefix=$ac_pwd - CORES=`grep -c ^processor /proc/cpuinfo` diff --git a/win/configure.in b/win/configure.in index 25074c1..f9d1de7 100755 --- a/win/configure.in +++ b/win/configure.in @@ -42,9 +42,7 @@ ARCH=$with_arch AC_SUBST(ARCH) prefix=$ac_pwd -AC_SUBST(prefix) exec_prefix=$ac_pwd -AC_SUBST(exec_prefix) CORES=`grep -c ^processor /proc/cpuinfo` AC_SUBST(CORES) |