changeset 1038:11b23f645060

[project @ 1995-01-17 05:19:01 by jwe]
author jwe
date Tue, 17 Jan 1995 05:19:01 +0000
parents d383ec996ee1
children 8b4fda9b7507
files src/parse.y
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/parse.y	Tue Jan 17 03:20:23 1995 +0000
+++ b/src/parse.y	Tue Jan 17 05:19:01 1995 +0000
@@ -959,7 +959,8 @@
 		      {
 			if (strcmp (curr_fcn_file_name, id_name) != 0)
 			  {
-			    warning ("function name `%s' does not agree\
+			    if (user_pref.warn_function_name_clash)
+			      warning ("function name `%s' does not agree\
  with function file name `%s.m'", id_name, curr_fcn_file_name);
 
 			    global_sym_tab->rename (id_name,