K 10 svn:author V 6 eivind K 8 svn:date V 27 1998-04-19T14:27:45.000000Z K 7 svn:log V 80 Add an ".ifmake regress" to avoid warning during 'make world'. Noticed by: bde END