1 files changed, 24 insertions, 0 deletions
diff --git a/scripts/reset.py b/scripts/reset.py
new file mode 100755
index 0000000..461bbda
--- /dev/null
+++ b/scripts/reset.py
@@ -0,0 +1,24 @@
+#!/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()