blob: 461bbda4b6981340962f8c0cdf963f339ea09acb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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()
|
