From 041082cad564ddba3bc55a66a81684ac9d9018b8 Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flow@cs.fau.de>
Date: Mon, 12 Aug 2019 15:26:08 +0200
Subject: Use "git reset --hard" instead of "git stash"

---
 src/allocators/mimalloc.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/allocators/mimalloc.py')

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):
-- 
cgit v1.2.3