diff options
| author | Florian Schmaus <flow@cs.fau.de> | 2019-08-12 15:26:08 +0200 |
|---|---|---|
| committer | Florian Schmaus <flow@cs.fau.de> | 2019-08-12 15:26:08 +0200 |
| commit | 041082cad564ddba3bc55a66a81684ac9d9018b8 (patch) | |
| tree | eda95067fae87a0ffbde68328eb00a4623b524b4 /src/allocators/hoard.py | |
| parent | 360fda77061392c4b208a6d245b18503999d88fa (diff) | |
| download | allocbench-041082cad564ddba3bc55a66a81684ac9d9018b8.tar.gz allocbench-041082cad564ddba3bc55a66a81684ac9d9018b8.zip | |
Use "git reset --hard" instead of "git stash"
Diffstat (limited to 'src/allocators/hoard.py')
| -rw-r--r-- | src/allocators/hoard.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/allocators/hoard.py b/src/allocators/hoard.py index d3c42de..cb2c0e1 100644 --- a/src/allocators/hoard.py +++ b/src/allocators/hoard.py @@ -4,7 +4,7 @@ import src.allocator version = 2.7 sources = src.allocator.Allocator_Sources("Hoard", retrieve_cmds=["git clone https://github.com/emeryberger/Hoard.git"], - reset_cmds=["git stash"]) + reset_cmds=["git reset --hard"]) class Hoard (src.allocator.Allocator): |