changeset 1 | 51eaad3a817b |
child 146 | 4b42aa24ce12 |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/benchmark/Makefile.am Tue Dec 18 10:56:09 2007 +0100 1.3 @@ -0,0 +1,10 @@ 1.4 +EXTRA_DIST += \ 1.5 + benchmark/Makefile 1.6 + 1.7 +if WANT_BENCHMARK 1.8 + 1.9 +noinst_HEADERS += 1.10 + 1.11 +noinst_PROGRAMS += 1.12 + 1.13 +endif WANT_BENCHMARK