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

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

diff --git a/src/allocators/tbbmalloc.py b/src/allocators/tbbmalloc.py
index 317c527..db24395 100644
--- a/src/allocators/tbbmalloc.py
+++ b/src/allocators/tbbmalloc.py
@@ -5,7 +5,7 @@ version = "2019_U8"
 source = src.allocator.Allocator_Sources("tbb",
                          ["git clone https://github.com/intel/tbb.git"],
                          ["git checkout {}".format(version)],
-                         ["git stash"])
+                         ["git reset --hard"])
 
 
 class TBBMalloc (src.allocator.Allocator):
-- 
cgit v1.2.3