diff --git a/extract.py b/extract.py new file mode 100644 index 0000000000000000000000000000000000000000..cc3777bc053d91566fcde03e0323509abc48ef55 --- /dev/null +++ b/extract.py @@ -0,0 +1,8 @@ +import os +file = open('deps', 'r').readlines() + +for s in file: + if len(s) > 3: + s = s.lower() + p = s[s.find('for') + 4 : s.find('failed')] + os.system("echo '*' " + p + " >> rdeps")