diff --git a/src/slaunch/opt.c b/src/slaunch/opt.c index 828887525af3631ac0f6ff7ba49db60c68243950..ec8d33795b33b73e75933a763a5529e9bcacf64e 100644 --- a/src/slaunch/opt.c +++ b/src/slaunch/opt.c @@ -1716,18 +1716,6 @@ static bool _opt_verify(void) verified = false; } - if (!opt.overcommit) { - /* make sure that the user isn't asking for more tasks - than there are available cpus in the allocation */ - uint32_t cpus = _total_cpus(alloc_info_ptr); - /* if (opt.num_tasks > cpus) { */ -/* error("Asking for more tasks (%u) than total available" */ -/* " cpus (%u)", opt.num_tasks, cpus); */ -/* error("Perhaps you meant to use --overcommit?"); */ -/* verified = false; */ -/* } */ - } - core_format_enable (opt.core_type); if (opt.labelio && opt.unbuffered) {