Remove useless bench case.

	* etc/bench.pl.in (bench_variant_parser): VARIANT_DESTROY is
	no longer used.

diff --git a/ChangeLog b/ChangeLog
index 5e976a75238831586b5a4247225b30501e64c2e5..5e9114d0c92042f1e0dace3518ade0e690f63f19 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2008-11-11  Akim Demaille  <demaille@gostai.com>
+
+       Remove useless bench case.
+       * etc/bench.pl.in (bench_variant_parser): VARIANT_DESTROY is
+       no longer used.
+
 2008-11-11  Akim Demaille  <demaille@gostai.com>
 
        Improve display of directives.

diff --git a/etc/bench.pl.in b/etc/bench.pl.in
index 9fae4c4a7dace4185819429e8d1b5e0214f687e2..c7bd83f25c86ae5ad51c5f4d55a050214068eddd 100755 (executable)
--- a/etc/bench.pl.in
+++ b/etc/bench.pl.in
@@ -897,8 +897,6 @@ sub bench_variant_parser ()
             [ %debug ]
             &
             [ %d variant
-              &
-              [ #d VARIANT_DESTROY ]
               &
               [ #d ONE_STAGE_BUILD ]
             ]