Comment # 6 on bug 953987 from Leslie Satenstein

Here is a corrected time.sh  using /usr/bin/time 

date -u >time.log
/usr/bin/time os-prober >> time.log 2>&1
date -u >> time.log


and the corrected output


time.log

Thu Nov 12 21:32:12 UTC 2015
/dev/sda1:Windows 8 (loader):Windows:chain
/dev/sdb6:Chapeau release 23 (Armstrong):Fedora:linux
/dev/sdc6:Korora release 23
(Coral):Fedora1:linux:btrfs:UUID=5f629c52-1717-4d68-bb3b-61b36f8129bb:subvol=root
/dev/sde4:Chapeau release 23 (Armstrong):Fedora2:linux
0.54user 0.45system 16:12.70elapsed 0%CPU (0avgtext+0avgdata 5636maxresident)k
195098inputs+9864outputs (0major+362653minor)pagefaults 0swaps
Thu Nov 12 21:48:24 UTC 2015