From a3eed212a10b3b496451327d265f5549954d2bc6 Mon Sep 17 00:00:00 2001
From: arvidn <arvid@cs.umu.se>
Date: Fri, 26 Oct 2018 00:47:23 +0200
Subject: [PATCH] fix warning in clean.py

---
 tools/clean.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/clean.py b/tools/clean.py
index c41a51f62..f7b167e6e 100755
--- a/tools/clean.py
+++ b/tools/clean.py
@@ -71,7 +71,7 @@ def clean():
                 try:
                     shutil.rmtree(p)
                     print(p)
-                except Exception as e:
+                except Exception:
                     try:
                         os.remove(p)
                         print(p)