aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscripts/main_loop.py21
-rwxr-xr-xscripts/reset.py24
2 files changed, 25 insertions, 20 deletions
diff --git a/scripts/main_loop.py b/scripts/main_loop.py
index e9eb4ba..cacf349 100755
--- a/scripts/main_loop.py
+++ b/scripts/main_loop.py
@@ -68,22 +68,6 @@ def step():
print("-- Linux built")
phase.set(2)
-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
-
-
class mainThread(Thread):
def __init__(self, name):
Thread.__init__(self, name=name)
@@ -112,7 +96,4 @@ def main_loop():
if __name__ == '__main__':
signal.signal(signal.SIGTERM, sigterm_handler)
- if sys.argv[1] == "reset":
- reset()
- else:
- main_loop()
+ main_loop()
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()