Paul E. McKenney 5d9853f3cf 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>		2017-06-08 08:25:33 -07:00
..
bin	rcutorture: Add "git diff" output to testid.txt file	2017-06-08 08:25:33 -07:00
configs	rcutorture: Reduce CPUs dedicated to testing Classic SRCU	2017-06-08 08:25:30 -07:00
doc	torture: Update RCU test scenario documentation	2017-01-14 21:35:59 -08:00
formal/srcu-cbmc	srcu-cbmc: Use /usr/bin/awk instead of /bin/awk	2017-06-08 08:25:32 -07:00
.gitignore	torture: Remove obsolete files from rcutorture .gitignore	2016-11-14 10:48:51 -08:00