Jenkins is going to shut down

Passed

libc++.std/numerics/rand/rand_dis.nothing_to_do.pass.cpp (from libc++)

Took 0.2 sec.