diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -606,7 +606,6 @@ LOCAL_SNAPSHOTS SYSROOTS ABE_PATH SOURCES_CONF -FILESERVER ABE_TOP BUILDDATE ALIEN @@ -3103,7 +3102,7 @@ DBPASSWD=${dbpasswd} DBHOST=${dbhost} -CPUS="`getconf _NPROCESSORS_ONLN`" +CPUS="`grep -c proces /proc/cpuinfo`" CORES="`grep cores /proc/cpuinfo | tail -1 | cut -d ' ' -f 3`" @@ -3882,7 +3881,6 @@ fi - # Check whether --with-sources-conf was given. if test "${with_sources_conf+set}" = set; then : withval=$with_sources_conf; SOURCES_CONF="${srcdir}/config/sources.conf" |