diff options
| author | Paul E. McKenney <[email protected]> | 2013-12-19 10:52:55 -0800 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2014-02-18 12:25:43 -0800 |
| commit | 1219c8636cc51eaed1529c9d5ed4184f726c8f24 (patch) | |
| tree | f6c35d68c2726ef361cddbf0380d470ebc0f118f /scripts/objdiff | |
| parent | c7e8240db112a128ca09cfc9ee0db1bafd7229ec (diff) | |
rcutorture: Print script and arguments to standard output
Although the script name and arguments are logged in the results directory,
it is more convenient to see it in the output. This commit therefore
adds the output of this information.
Signed-off-by: Paul E. McKenney <[email protected]>
Reviewed-by: Josh Triplett <[email protected]>
Diffstat (limited to 'scripts/objdiff')
0 files changed, 0 insertions, 0 deletions