Add builtin_index_to_name, missing when there is no compiler support.
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Mon, 1 Nov 1993 23:52:47 +0000 (23:52 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Mon, 1 Nov 1993 23:52:47 +0000 (23:52 +0000)
v7/src/microcode/cmpint.c
v8/src/microcode/cmpint.c

index 16f2d81381aa3e009d4cf867b3ead573626b9e87..8eee563234eafa9130899e86ee0dba0c0426a3e8 100644 (file)
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Id: cmpint.c,v 1.74 1993/10/30 03:04:27 gjr Exp $
+$Id: cmpint.c,v 1.75 1993/11/01 23:52:47 gjr Exp $
 
 Copyright (c) 1989-1993 Massachusetts Institute of Technology
 
@@ -3823,6 +3823,7 @@ DEFUN (coerce_to_compiled,
 
 extern char * EXFUN (utility_index_to_name, (int));
 extern void EXFUN (declare_builtin, (unsigned long));
+extern char * EXFUN (builtin_index_to_name, (int));
 extern int EXFUN (pc_to_utility_index, (unsigned long));
 extern int EXFUN (pc_to_builtin_index, (unsigned long));
 
@@ -3838,6 +3839,12 @@ DEFUN (declare_builtin, (builtin), unsigned long builtin)
   return;
 }
 
+char *
+DEFUN (builtin_index_to_name, (index), int index)
+{
+  return ((char *) NULL);
+}
+
 int
 DEFUN (pc_to_utility_index, (pc), unsigned long pc)
 {
index 16f2d81381aa3e009d4cf867b3ead573626b9e87..8eee563234eafa9130899e86ee0dba0c0426a3e8 100644 (file)
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Id: cmpint.c,v 1.74 1993/10/30 03:04:27 gjr Exp $
+$Id: cmpint.c,v 1.75 1993/11/01 23:52:47 gjr Exp $
 
 Copyright (c) 1989-1993 Massachusetts Institute of Technology
 
@@ -3823,6 +3823,7 @@ DEFUN (coerce_to_compiled,
 
 extern char * EXFUN (utility_index_to_name, (int));
 extern void EXFUN (declare_builtin, (unsigned long));
+extern char * EXFUN (builtin_index_to_name, (int));
 extern int EXFUN (pc_to_utility_index, (unsigned long));
 extern int EXFUN (pc_to_builtin_index, (unsigned long));
 
@@ -3838,6 +3839,12 @@ DEFUN (declare_builtin, (builtin), unsigned long builtin)
   return;
 }
 
+char *
+DEFUN (builtin_index_to_name, (index), int index)
+{
+  return ((char *) NULL);
+}
+
 int
 DEFUN (pc_to_utility_index, (pc), unsigned long pc)
 {