Avoid building BENCHMARK on all systems.

This commit is contained in:
jjgarcia 2001-09-09 16:00:37 +00:00
parent 8ab16a1af9
commit 24bbb7712d

View file

@ -57,7 +57,7 @@ benchmark.html: $(srcdir)/benchmark.in.html ../gabriel/BENCHMARK
echo '<pre>'; cat ../gabriel/BENCHMARK; echo '</pre>'; \
cat $(srcdir)/end) | $(FILTER) > $@
../gabriel/BENCHMARK:
cd ../gabriel; make
echo '<b>Benchmark not available</b>' > ../gabriel/BENCHMARK
license.html: $(top_srcdir)/../Copyright
(cat $(srcdir)/head; \
echo '<pre>'; cat $?; echo '</pre>'; \