# # patch "git_export.cc" # from [dff3d40ede2b8a2d8cd08130f8587e76cd4cab06] # to [891e85ad7140d3c74eb15387c3881716972d5b77] # ======================================================================== --- git_export.cc dff3d40ede2b8a2d8cd08130f8587e76cd4cab06 +++ git_export.cc 891e85ad7140d3c74eb15387c3881716972d5b77 @@ -312,15 +312,17 @@ for (manifest_map::const_iterator i = manifest.begin(); i != manifest.end(); ++i) { - L(F("Queuing '%s' [%s]") % manifest_entry_path(*i) % manifest_entry_id(*i)); shared_ptr entry(new git_tree_entry); entry->blob_id = export_git_blob(git, app, manifest_entry_id(*i)); entry->path = manifest_entry_path(*i); string attrval; + entry->execute = false; if (find_in_attr_map(attrs, entry->path, "execute", attrval)) entry->execute = (attrval == "true"); + L(F("Queuing '%s' [%s:%s] (%d)") % entry->path % manifest_entry_id(*i) + % entry->blob_id() % entry->execute); tree.insert(entry); }