------- Comment #2 from dfranke at gcc dot gnu dot org 2007-03-03 10:28 ------- > what is the standard name for its argument? F95 draft, 13.14.25 CPU_TIME (TIME)
So, only the documentation needs to be changed. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30950
