aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/reset.py24
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()