diff options
author | Karel Kočí <cynerd@email.cz> | 2015-03-26 16:18:16 +0100 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2015-03-26 16:18:16 +0100 |
commit | 146eba198c4405de81fef4eb083cbce9f519ef22 (patch) | |
tree | 692fc5bb0978b111d4c2ae112a735da29ddbc7b7 /scripts | |
parent | 4734d75c30520e73f81b69b84ae5be7eb152fcf1 (diff) | |
download | linux-conf-perf-146eba198c4405de81fef4eb083cbce9f519ef22.tar.gz linux-conf-perf-146eba198c4405de81fef4eb083cbce9f519ef22.tar.bz2 linux-conf-perf-146eba198c4405de81fef4eb083cbce9f519ef22.zip |
reset.py remove
Python implementation of reset remove. This is doing now makefile.
This script wasn't working/finished anyway.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/reset.py | 24 |
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() |