px_header is in /usr/lib and px is in /usr/ucb

[unix-history] / usr / src / usr.bin / pascal / src / objfmt.h

diff --git a/usr/src/usr.bin/pascal/src/objfmt.h b/usr/src/usr.bin/pascal/src/objfmt.h
index 4e30bba..2c2e067 100644 (file)
--- a/usr/src/usr.bin/pascal/src/objfmt.h
+++ b/usr/src/usr.bin/pascal/src/objfmt.h
@@ -1,6 +1,6 @@
 /* Copyright (c) 1979 Regents of the University of California */
 
 /* Copyright (c) 1979 Regents of the University of California */
 

-/* static      char sccsid[] = "@(#)objfmt.h 1.1 %G%"; */
+/* static      char sccsid[] = "@(#)objfmt.h 1.2 %G%"; */

 
 #ifdef OBJ
        /*
 
 #ifdef OBJ
        /*


@@ -13,8 +13,8 @@
     };
 
 #   define     HEADER_BYTES    1024            /* the size of px_header */
     };
 
 #   define     HEADER_BYTES    1024            /* the size of px_header */

-#   define PX_HEADER "/usr/lib/npx_header"     /* px_header's name */
-#   define PX_INTRP "/usr/new/px"              /* the interpreter's name */
+#   define PX_HEADER "/usr/lib/px_header"      /* px_header's name */
+#   define PX_INTRP "/usr/ucb/px"              /* the interpreter's name */

 #endif OBJ
 
     /*
 #endif OBJ
 
     /*