source RPM fixes

Henry Cejtin henry@sourcelight.com
Tue, 3 Jul 2001 18:57:40 -0500


In the source RPM, the file
    src/benchmark/tests/DATA/chess.gml
is mode 755 instead of 644.  Also, what is the file
    src/regresion/nonterminate/8
It is an executable file.  I assume that it should NOT be included.

Should the file
    src/mlton/cps/contify.old.fun
be included?