I recall seeing this at some time in the past, but can't find any hints
as to what you do about it
the tail of the log is below, if you have any ideas (I realize you have
your hands full, but you might know this one off the top of your head).
Richard
* Starting build: Thu Jan 24 17:49:01 2013
*** Stage: build (installer, mingw)
invoking rm
-fr
/home/rshann/gub/target/mingw/installer/denemo-git.savannah.gnu.org--denemo.git-master-dbdir
invoking mkdir
-p
/home/rshann/gub/target/mingw/installer/denemo-git.savannah.gnu.org--denemo.git-master-dbdir
invoking mkdir
-p
/home/rshann/gub/target/mingw/installer/denemo-git.savannah.gnu.org--denemo.git-master
package of branch: git.savannah.gnu.org--denemo.git-mingw, expecting:
git.savannah.gnu.org--denemo.git-master
ignoring header:
denemo-doc-git.savannah.gnu.org--denemo.git-mingw.mingw.hdr
package of branch: git.savannah.gnu.org--denemo.git-mingw, expecting:
git.savannah.gnu.org--denemo.git-master
ignoring header:
denemo-devel-git.savannah.gnu.org--denemo.git-mingw.mingw.hdr
package of branch: git.savannah.gnu.org--denemo.git-mingw, expecting:
git.savannah.gnu.org--denemo.git-master
ignoring header: denemo-git.savannah.gnu.org--denemo.git-mingw.mingw.hdr
no such package: denemo
no such package: denemo