diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-07-24 10:44:31 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-07-24 10:44:31 +0200 |
| commit | 262545d80cdd3feba2d00071f5de048ed3f7a77a (patch) | |
| tree | c31ff1f2845669fca1d7ea3a2d68c4982bcc2316 /scripts/picosat-959/makefile.in | |
| parent | 774d1f1e287a9face4b9dda707c49c24fe62074e (diff) | |
| download | linux-conf-perf-262545d80cdd3feba2d00071f5de048ed3f7a77a.tar.gz linux-conf-perf-262545d80cdd3feba2d00071f5de048ed3f7a77a.tar.bz2 linux-conf-perf-262545d80cdd3feba2d00071f5de048ed3f7a77a.zip | |
Return timestamp to subprocess execution log
When script is running, this function could be executed multiple times in same second.
If it would happen, it wouldn't be easy find where starts which execution.
Diffstat (limited to 'scripts/picosat-959/makefile.in')
0 files changed, 0 insertions, 0 deletions