# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 944560284 0
# Node ID 02d952359d1ccde2aa53ebf4431cba18a4e7c498
# Parent  b43687ee3f57497300c59d3f46bdb1a86433b4f6
(UNEXEC): Use unexelf.o instead of unexsgi.o.

diff -r b43687ee3f57 -r 02d952359d1c src/m/iris5d.h
--- a/src/m/iris5d.h	Tue Dec 07 09:50:50 1999 +0000
+++ b/src/m/iris5d.h	Tue Dec 07 09:51:24 1999 +0000
@@ -115,7 +115,7 @@
 #ifdef UNEXEC
 #undef UNEXEC
 #endif
-#define UNEXEC unexsgi.o
+#define UNEXEC unexelf.o
 
 #define TEXT_START 0x400000