2007-07-18 09:11:18 +08:00
|
|
|
|
2018-06-08 17:47:05 +08:00
|
|
|
EXTRA_DIST = README.md
|
|
|
|
EXTRA_DIST += counttestset.sh
|
|
|
|
EXTRA_DIST += reorgdata.sh
|
|
|
|
EXTRA_DIST += runalltests.sh
|
|
|
|
EXTRA_DIST += runtestset.sh
|
|
|
|
EXTRA_DIST += reports/1995.bus.3B.sum
|
|
|
|
EXTRA_DIST += reports/1995.doe3.3B.sum
|
|
|
|
EXTRA_DIST += reports/1995.mag.3B.sum
|
|
|
|
EXTRA_DIST += reports/1995.news.3B.sum
|
|
|
|
EXTRA_DIST += reports/2.03.summary
|
|
|
|
EXTRA_DIST += reports/2.04.summary
|
2018-06-09 22:36:10 +08:00
|
|
|
EXTRA_DIST += reports/4_best_spa.summary
|
|
|
|
EXTRA_DIST += reports/4_best_int_spa.summary
|
2018-06-09 21:07:21 +08:00
|
|
|
EXTRA_DIST += reports/4_fast_spa.summary
|