K 10
svn:author
V 3
knu
K 8
svn:date
V 27
2000-10-25T19:13:09.000000Z
K 7
svn:log
V 71
Add NOPROFILE=true to MAKE_ARGS so as not to build a profiled library.

END