| *************** |
| *** 36,41 **** |
| |
| pnglibconf.dfn: $(srcdir)/scripts/pnglibconf.dfa $(srcdir)/scripts/options.awk |
| $(DELETE) $@ dfn1.out dfn2.out |
| $(AWK) -f $(srcdir)/scripts/options.awk out=dfn1.out\ |
| $(srcdir)/scripts/pnglibconf.dfa $(DFA_XTRA) 1>&2 |
| $(AWK) -f $(srcdir)/scripts/options.awk out=dfn2.out dfn1.out 1>&2 |
| --- 41,48 ---- |
| |
| pnglibconf.dfn: $(srcdir)/scripts/pnglibconf.dfa $(srcdir)/scripts/options.awk |
| $(DELETE) $@ dfn1.out dfn2.out |
| + $(ECHO) "Calling $(AWK) from scripts/pnglibconf.mak" >&2 |
| + $(ECHO) "If 'awk' crashes try a better awk (e.g. AWK='nawk')" >&2 |
| $(AWK) -f $(srcdir)/scripts/options.awk out=dfn1.out\ |
| $(srcdir)/scripts/pnglibconf.dfa $(DFA_XTRA) 1>&2 |
| $(AWK) -f $(srcdir)/scripts/options.awk out=dfn2.out dfn1.out 1>&2 |
