Re: [PATCH] GNU/Hurd config profiling update

["Alfred M. Szmidt" <ams at gnu dot org>]

   I've just tested it again today, and it does work:

    time   seconds   seconds    calls  ms/call  ms/call  name    
    100.00      0.04     0.04        1    41.20    41.20  main
      0.00      0.04     0.00     1000     0.00     0.00  puts

   on a stupid for(i=0;i<1000;i++) { for (j=0;j<1000000;j++) {}
   printf("ok"); }

   Anyway, that's not a reason for not applying the patch ;) Without it,
   programs crash immediately (because they would use the dynamic gcrt1.o
   instead of the static gcrt0.o)

I'm not objecting to the patch, it is just that I recalled more
problems with profiling.  Like `-ggdb3 -pg' didn't work, and profiling
libraries blew up.