luigi 87daff0de5 Add a new file to be included by the makefiles used by crunchgen
(this is a convenient place to put Make variables until we add a -D
option to crunchgen).

Approved-By: jordan
2000-02-08 08:29:18 +00:00
..
2000-02-08 08:25:00 +00:00
2000-02-08 08:25:00 +00:00
2000-02-08 08:25:00 +00:00
2000-02-08 08:25:00 +00:00
2000-02-08 08:25:00 +00:00