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)
if __name__ == '__main__':
signal.signal(signal.SIGTERM, sigterm_handler)
- if sys.argv[1] == "reset":
- reset()
- else:
- main_loop()
+ main_loop()
--- /dev/null
+#!/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()