Hi,

Deri wrote:
> I am still working on a more robust solution which will stop the make
> failing if the required fonts are not found.

>From the OP's description it sounds like the makefile uses shell
redirection leaving the built file behind on failure so the next plain
`make' thinks it's already built.  Perhaps something to look out for in
general in the makefiles, or consider the addition of special target
.DELETE_ON_ERROR.
http://www.gnu.org/software/make/manual/html_node/Errors.html#Errors

    bar.out: bar
            ./foo bar >bar.out
            ./foo bar >bar.tmp && mv bar.tmp bar.out

Cheers, Ralph.

Reply via email to