]> git.pld-linux.org Git - projects/pld-builder.new.git/commitdiff
This needs to have a group.
authorArkadiusz Miśkiewicz <arekm@maven.pl>
Mon, 2 Jul 2018 06:36:40 +0000 (08:36 +0200)
committerArkadiusz Miśkiewicz <arekm@maven.pl>
Mon, 2 Jul 2018 06:36:40 +0000 (08:36 +0200)
PLD_Builder/util.py

index 9d0e095e3355967455d65d8e6d8b2b199b8c8e62..86f6776f355d7c3452b8593f3b62ca93d31fb652 100644 (file)
@@ -66,7 +66,7 @@ def collect_files(log, basedir = "/home"):
 def find_last_section(log):
     f = open(log, 'r')
     rx1 = re.compile(r"^Executing\(%(\w+)\).*$")
-    rx2 = re.compile(r"^Processing files:.*$")
+    rx2 = re.compile(r"^Processing (files):.*$")
     last_section = None
     for l in f:
         m = rx1.search(l)
This page took 0.085079 seconds and 4 git commands to generate.