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/mimalloc.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/mimalloc.py')
| -rw-r--r-- | src/allocators/mimalloc.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/allocators/mimalloc.py b/src/allocators/mimalloc.py index b636a04..e079176 100644 --- a/src/allocators/mimalloc.py +++ b/src/allocators/mimalloc.py @@ -5,7 +5,7 @@ version = "master" mimalloc_src = src.allocator.Allocator_Sources("mimalloc", ["git clone https://github.com/microsoft/mimalloc"], ["git checkout ".format(version)], - ["git stash"]) + ["git reset --hard"]) class Mimalloc (src.allocator.Allocator): |