1 files changed, 0 insertions, 24 deletions
diff --git a/scripts/reset.py b/scripts/reset.py
deleted file mode 100755
index 461bbda..0000000
--- a/scripts/reset.py
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/bin/python3
-import os
-import sys
-
-def rm_rf(d):
-	for path in (os.path.join(d,f) for f in os.listdir(d)):
-		if os.path.isdir(path):
-			rm_rf(path)
-		else:
-			os.unlink(path)
-		os.rmdir(d)
-
-# TODO repair, broken
-def reset():
-	rm_rf(conf.build_folder)
-	os.chdir(conf.linux_sources)
-	subprocess.call(['make','clean'])
-	os.rm('.config') # remove linux config file
-
-
-#################################################################################
-
-if __name__ == '__main__':
-	reset()