mirror of
https://github.com/HDFGroup/hdf5.git
synced 2024-12-09 07:32:32 +08:00
28bb8b4694
Bug fix. Description: In some racing condition, the process ID file might be removed just the moment before timekeeper cats its content. When that happens, the $pid is a blank. Timekeeper was not prepared for this. Solution: Added code to verify $pid is some number before proceeding. Platforms tested: Tested by hand only. |
||
|---|---|---|
| .. | ||
| buildhdf5 | ||
| checkapi | ||
| checkposix | ||
| chkconfigure | ||
| chkcopyright | ||
| chkmanifest | ||
| compile | ||
| config_para_ibm_sp.sh | ||
| config.guess | ||
| config.sub | ||
| debug-ohdr | ||
| depcomp | ||
| dependencies | ||
| deploy | ||
| distdep | ||
| errors | ||
| h5vers | ||
| install-sh | ||
| iostats | ||
| locate_sw | ||
| ltmain.sh | ||
| make_err | ||
| missing | ||
| mkdirs | ||
| mkinstalldirs | ||
| newer | ||
| reconfigure | ||
| release | ||
| runtest | ||
| snapshot | ||
| snapshot_version | ||
| timekeeper | ||
| trace | ||