# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 839628294 0
# Node ID 9aaeb5dc28513ed522c635b80a27315581c1bbb6
# Parent  d6c4d581ad25c33d26d2fd3f3584a3827d9b739e
[__ELF__] (UNEXEC): Use unexelf1.c.

diff -r d6c4d581ad25 -r 9aaeb5dc2851 src/m/alpha.h
--- a/src/m/alpha.h	Fri Aug 09 22:00:35 1996 +0000
+++ b/src/m/alpha.h	Fri Aug 09 22:04:54 1996 +0000
@@ -152,6 +152,11 @@
 # endif
 #endif
 
+#ifdef __ELF__
+#undef UNEXEC
+#define UNEXEC unexelf1.o
+#endif
+
 #ifndef __ELF__
 
 /* Describe layout of the address space in an executing process.  */