aboutsummaryrefslogtreecommitdiff
path: root/exp
diff options
context:
space:
mode:
Diffstat (limited to 'exp')
-rw-r--r--exp/.gitignore1
-rw-r--r--exp/README.md14
-rwxr-xr-xexp/exp.sh5
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
+```
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 ]]