"Michael" <[EMAIL PROTECTED]> wrote:
> out.h out.cc: in.our_format generate
>      generate -i in.our_format -o tmp
>      if (tmp.h != out.h OR tmp.cc != out.cc) {
>          cp tmp.h out.h
>          cp tmp.cc out.cc
>      }

        if { cmp tmp.h out.h && cmp tmp.cc out.cc; } > /dev/null 2>&1; \
          then :; \
          else cp tmp.h out.h && cp tmp.cc out.cc; \
        fi

You could also incorporate this conditional update into generate
itself, to keep the Makefile simpler.


paul


_______________________________________________
help-gnu-utils mailing list
help-gnu-utils@gnu.org
http://lists.gnu.org/mailman/listinfo/help-gnu-utils

Reply via email to