From a8d4b5b440ed9ac29a0eae7fc47c144d46745078 Mon Sep 17 00:00:00 2001 From: n-peugnet Date: Fri, 1 Oct 2021 20:07:50 +0200 Subject: add some comments, summary, TODOs and infos --- exp/.gitignore | 1 + exp/README.md | 14 ++++++++++++++ exp/exp.sh | 5 +++++ 3 files changed, 20 insertions(+) create mode 100644 exp/README.md (limited to 'exp') 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=] + +# clean results +make mostlyclean + +# clean all +make clean +``` diff --git a/exp/exp.sh b/exp/exp.sh index 0213b2f..c031b94 100755 --- a/exp/exp.sh +++ b/exp/exp.sh @@ -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 ]] -- cgit v1.2.3