metacoq icon indicating copy to clipboard operation
metacoq copied to clipboard

Published 20 hours ago • verified publisher icon MetaCoq

make all does not build translations, but make install does

Open yforster opened this issue 4 years ago • 0 comments

Pretty much what the title says. Is this intended? I'm always surprised by make install after a successful make all taking a lot longer than it should, because first translations has to be built completely.

yforster avatar Sep 28 '20 12:09 yforster