diff mk-opts.pl @ 4122:19a1626b8d57

[project @ 2002-10-23 22:10:53 by jwe]
author jwe
date Wed, 23 Oct 2002 22:10:54 +0000
parents 6481f41a79f3
children 23b37da9fd5b
line wrap: on
line diff
--- a/mk-opts.pl	Wed Oct 23 03:34:11 2002 +0000
+++ b/mk-opts.pl	Wed Oct 23 22:10:54 2002 +0000
@@ -406,6 +406,11 @@
   print "      reset = opt.reset;
     }\n";
 
+  ## For backward compatibility and because set_options is probably
+  ## a better name in some contexts:
+
+  print "\n  void set_options (const ${class_name}& opt) { copy (opt); }\n";
+
   print "\n  void set_default_options (void) { init (); }\n";
 
   for ($i = 0; $i < $opt_num; $i++)