From 71462722874604bbf097febcfb204b27beb99683 Mon Sep 17 00:00:00 2001 From: "Guillermo J. Rozas" Date: Mon, 1 Nov 1993 23:52:47 +0000 Subject: [PATCH] Add builtin_index_to_name, missing when there is no compiler support. --- v7/src/microcode/cmpint.c | 9 ++++++++- v8/src/microcode/cmpint.c | 9 ++++++++- 2 files changed, 16 insertions(+), 2 deletions(-) diff --git a/v7/src/microcode/cmpint.c b/v7/src/microcode/cmpint.c index 16f2d8138..8eee56323 100644 --- a/v7/src/microcode/cmpint.c +++ b/v7/src/microcode/cmpint.c @@ -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) { diff --git a/v8/src/microcode/cmpint.c b/v8/src/microcode/cmpint.c index 16f2d8138..8eee56323 100644 --- a/v8/src/microcode/cmpint.c +++ b/v8/src/microcode/cmpint.c @@ -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) { -- 2.25.1