diff options
Diffstat (limited to 'exp')
-rw-r--r-- | exp/.gitignore | 1 | ||||
-rw-r--r-- | exp/README.md | 14 | ||||
-rwxr-xr-x | exp/exp.sh | 5 |
3 files changed, 20 insertions, 0 deletions
diff --git a/exp/.gitignore b/exp/.gitignore index a29a67a..8267a55 100644 --- a/exp/.gitignore +++ b/exp/.gitignore @@ -2,3 +2,4 @@ !.gitignore !exp.sh !Makefile +!README.md diff --git a/exp/README.md b/exp/README.md new file mode 100644 index 0000000..21ae41f --- /dev/null +++ b/exp/README.md @@ -0,0 +1,14 @@ +# Performance evaluation experiences + +## Help + +```bash +# run experiences +make [MAX_VERSION=<count>] + +# clean results +make mostlyclean + +# clean all +make clean +``` @@ -17,8 +17,13 @@ cat "$commits" | while read line do hash=$(echo "$line" | cut -f1) git -C "$repo" checkout "$hash" + + # create diff for this version git -C "$repo" diff --minimal --binary --unified=0 "$prev" | gzip > "$diffs/$i.diff.gz" + + # create backup for this version ../dna-backup commit -v 2 "$repo" "$backup" + prev="$hash" let i++ if [[ $i == $max_count ]] |