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

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

diff --git a/src/allocators/scalloc.py b/src/allocators/scalloc.py
index 6d1b0dd..4be8798 100644
--- a/src/allocators/scalloc.py
+++ b/src/allocators/scalloc.py
@@ -9,7 +9,7 @@ scalloc_src = Allocator_Sources("scalloc",
                       prepare_cmds=["git checkout {}".format(version),
                                     "cd {srcdir}; tools/make_deps.sh",
                                     "cd {srcdir}; build/gyp/gyp --depth=. scalloc.gyp"],
-                      reset_cmds=["git stash"])
+                      reset_cmds=["git reset --hard"]
 
 
 class Scalloc (Allocator):
-- 
cgit v1.2.3