diff options
Diffstat (limited to 'time/gnutime/DESCR')
| -rw-r--r-- | time/gnutime/DESCR | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/time/gnutime/DESCR b/time/gnutime/DESCR new file mode 100644 index 00000000000..912af087332 --- /dev/null +++ b/time/gnutime/DESCR @@ -0,0 +1,6 @@ +The time utility executes and measures the CPU, time, and memory +resources used, such as pagefaults, swaps, memory, and user, system, +and real time used by a process. + +GNU time can format the output in arbitrary ways by using a +printf-style format string to include various resource measurements. |