diff options
author | Paul E. McKenney | 2017-04-27 10:24:08 -0700 |
---|---|---|
committer | Paul E. McKenney | 2017-06-08 08:25:33 -0700 |
commit | 5d9853f3cf26109ab7b6b7bf414ffe3c739177d4 (patch) | |
tree | d85605524ea7075700e9614cd9e3e3e81b02ff54 /Documentation/RCU/Design | |
parent | 820687a7b98a5031207893ff265f97c0a0ad403e (diff) |
rcutorture: Add "git diff" output to testid.txt file
Currently, when running from a git archive, the testid.txt file contains
only the branch name, the output of "git status", and the SHA-1 of
the current HEAD. This is useful, but does not uniquely identify the
source code that was built. This commit therefore adds the output of
"git diff HEAD", which means that if two testid.txt files compare equal,
they correspond to exactly the same source code. Give or take the
possibility of SHA-1 collisions, that is. ;-)
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Diffstat (limited to 'Documentation/RCU/Design')
0 files changed, 0 insertions, 0 deletions