diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/main_loop.py | 21 | ||||
| -rwxr-xr-x | scripts/reset.py | 24 | 
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() | 
