I have problems compiling the develop-version of IMP, while the master is fine.

Running:

works, but 

"make -j 8"

crashes after about 20% with the following message:

"

"

A similar error occurs when calling "git imp update":

I found, that "Bad fd number" is often related to the shell used in the makefiles. For our system sh points to dash, not bash.

Might that be the reason why I run into problems? 

Which shell are you using? 

When I change in tools/git/gitflow/git-imp  "#!/bin/sh" to "#!/bin/bash" git imp update works again. Is there a way, that I don't have to search and replace every single "#! bin/sh"?

Or do you have any other ideas or hints, what I could try? Could doxygen cause part of the problem?

Thank you very much in advance!

Pia