Eric Blake wrote: > This has no mercy if cppi is not installed. Should I rework > it to give a nicer warning in that case, especially since > cppi is not in FC12? Please make it print a warning when cppi is not available, so that people who run "make syntax-check" know when this check is being skipped.