Allow NMVs in bands: interpreted stack frames contain them.

diff --git a/v7/src/microcode/psbtobin.c b/v7/src/microcode/psbtobin.c
index 1ed28754b0fd9ebc431f826f8af71ce13ebb2778..5c2cb3a2a566b697cb4bcd8791e27d5815b7f930 100644 (file)
--- a/v7/src/microcode/psbtobin.c
+++ b/v7/src/microcode/psbtobin.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Id: psbtobin.c,v 9.51 1993/11/07 01:39:13 gjr Exp $
+$Id: psbtobin.c,v 9.52 1993/11/07 04:10:00 gjr Exp $
 
 Copyright (c) 1987-1993 Massachusetts Institute of Technology
 
@@ -1139,9 +1139,11 @@ DEFUN_VOID (Read_Header_and_Allocate)
   READ_HEADER ("Flags", "%ld", Flags);
   READ_FLAGS (Flags);
 
-  if (((compiled_p && (! allow_compiled_p))
-       || (nmv_p && (! allow_nmv_p)))
-      && (Machine != FASL_INTERNAL_FORMAT))
+  if (band_p)
+    allow_nmv_p = true;
+  if ((Machine != FASL_INTERNAL_FORMAT)
+      && ((nmv_p && (! allow_nmv_p))
+         || (compiled_p && (! allow_compiled_p) && (! c_compiled_p))))
   {
     if (compiled_p)
       fprintf (stderr, "%s: %s\n", program_name,

diff --git a/v8/src/microcode/psbtobin.c b/v8/src/microcode/psbtobin.c
index 1ed28754b0fd9ebc431f826f8af71ce13ebb2778..5c2cb3a2a566b697cb4bcd8791e27d5815b7f930 100644 (file)
--- a/v8/src/microcode/psbtobin.c
+++ b/v8/src/microcode/psbtobin.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Id: psbtobin.c,v 9.51 1993/11/07 01:39:13 gjr Exp $
+$Id: psbtobin.c,v 9.52 1993/11/07 04:10:00 gjr Exp $
 
 Copyright (c) 1987-1993 Massachusetts Institute of Technology
 
@@ -1139,9 +1139,11 @@ DEFUN_VOID (Read_Header_and_Allocate)
   READ_HEADER ("Flags", "%ld", Flags);
   READ_FLAGS (Flags);
 
-  if (((compiled_p && (! allow_compiled_p))
-       || (nmv_p && (! allow_nmv_p)))
-      && (Machine != FASL_INTERNAL_FORMAT))
+  if (band_p)
+    allow_nmv_p = true;
+  if ((Machine != FASL_INTERNAL_FORMAT)
+      && ((nmv_p && (! allow_nmv_p))
+         || (compiled_p && (! allow_compiled_p) && (! c_compiled_p))))
   {
     if (compiled_p)
       fprintf (stderr, "%s: %s\n", program_name,