Support running no_core Linux programs#4964

saethlin wants to merge 1 commit intorust-lang:masterrust-lang/miri:masterfrom

saethlin:support-no-coresaethlin/miri:support-no-coreCopy head branch name to clipboard