[projects/pld-builder.new] This needs to have a group.

[arekm]

commit b525672f15198c2fdb0b92150bde98e13a232d40
Author: Arkadiusz Miśkiewicz <arekm at maven.pl>
Date:   Mon Jul 2 08:36:40 2018 +0200

    This needs to have a group.

 PLD_Builder/util.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/PLD_Builder/util.py b/PLD_Builder/util.py
index 9d0e095..86f6776 100644
--- a/PLD_Builder/util.py
+++ b/PLD_Builder/util.py
@@ -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)
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/projects/pld-builder.new.git/commitdiff/b525672f15198c2fdb0b92150bde98e13a232d40