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/tcmalloc.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/allocators/tcmalloc.py b/src/allocators/tcmalloc.py
index a442e96..0940400 100644
--- a/src/allocators/tcmalloc.py
+++ b/src/allocators/tcmalloc.py
@@ -5,7 +5,7 @@ version = 2.7
 tcmalloc_src = src.allocator.Allocator_Sources("tcmalloc",
                          ["git clone https://github.com/gperftools/gperftools.git tcmalloc"],
                          ["git checkout gperftools-{}".format(version), "./autogen.sh"],
-                         ["git stash"])
+                         ["git reset --hard"])
 
 
 class TCMalloc (src.allocator.Allocator):
-- 
cgit v1.2.3