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/mesh.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/mesh.py')
| -rw-r--r-- | src/allocators/mesh.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/allocators/mesh.py b/src/allocators/mesh.py index eb0e5b8..604f743 100644 --- a/src/allocators/mesh.py +++ b/src/allocators/mesh.py @@ -2,7 +2,7 @@ import src.allocator sources = src.allocator.Allocator_Sources("Mesh", retrieve_cmds=["git clone https://github.com/plasma-umass/Mesh"], - reset_cmds=["git stash"]) + reset_cmds=["git reset --hard"]) # sources = src.allocator.GitAllocatorSources("Mesh", # "https://github.com/plasma-umass/Mesh", |