--- Fix up the dependency file with correct paths.
-if os.execute("test -f "..gccdep) == 0 and os.rename(gccdep, tmpname) then
- os.execute(string.format("sed -e 's|.*:|%s %s:|' <%s >>%s", product, dep, tmpname, dep))
- os.execute(string.format("sed -e 's/^.*://' -e 's/^ *//' -e 's/ *\\\\$//' -e 's/$/:/' <%s >>%s", tmpname, dep))
- os.remove(tmpname)
-else
- print("Couldn't find the dependency file at "..gccdep..".")
- os.exit(1)
+for _,gccdep in ipairs(depfiles) do
+ tmpname = gccdep..".tmp"
+ -- Fix up the dependency file with correct paths.
+ if os.execute("test -f "..gccdep) == 0 and os.rename(gccdep, tmpname) then
+ os.execute(string.format("sed -e 's|.*:|%s %s:|' <%s >>%s", product, dep, tmpname, dep))
+ os.execute(string.format("sed -e 's/^.*://' -e 's/^ *//' -e 's/ *\\\\$//' -e 's/$/:/' <%s >>%s", tmpname, dep))
+ os.remove(tmpname)
+ os.exit()
+ end