Commit 982395f3b8d1ebb0972e5e1da25be3ba92f3e68e

Jim Meyering 2000-07-09T17:24:27

(jm_CHECK_ALL_TYPES): Require it.