equal
deleted
inserted
replaced
107 if oldmd5 != self.md5key: |
107 if oldmd5 != self.md5key: |
108 target = self.CTRInstance.GetTarget().getcontent() |
108 target = self.CTRInstance.GetTarget().getcontent() |
109 beremizcommand = {"src": ' '.join(srcfiles), |
109 beremizcommand = {"src": ' '.join(srcfiles), |
110 "cflags": ' '.join(cflags), |
110 "cflags": ' '.join(cflags), |
111 "md5": self.md5key, |
111 "md5": self.md5key, |
112 "buildpath": self.buildpath |
112 "buildpath": self.buildpath} |
113 } |
|
114 |
113 |
115 # clean sequence of multiple whitespaces |
114 # clean sequence of multiple whitespaces |
116 cmd = re.sub(r"[ ]+", " ", target.getCommand().strip()) |
115 cmd = re.sub(r"[ ]+", " ", target.getCommand().strip()) |
117 |
116 |
118 command = [token % beremizcommand for token in cmd.split(' ')] |
117 command = [token % beremizcommand for token in cmd.split(' ')] |