arm.h (ASM_OUTPUT_MI_THUNK): Add (PLT) to branch if necessary.

* config/arm/arm.h (ASM_OUTPUT_MI_THUNK): Add (PLT) to branch if
necessary.  Reported by jim@federated.com.

From-SVN: r26844

gcc/ChangeLog

+Sun May  9 11:12:19 1999  Philip Blundell <bp@nexus.co.uk>
+
+	* config/arm/arm.h (ASM_OUTPUT_MI_THUNK): Add (PLT) to branch if
+	necessary.  Reported by jim@federated.com.
+
 Sat May  8 23:05:35 1999  Jeffrey A Law  (law@cygnus.com)
 
 	* pa.h (PRINT_OPERAND_ADDRESS): Output "%r0", not "r0" for the

gcc/config/arm/arm.h

@@ -2059,6 +2059,8 @@ do {									\
     }									\
   fputs ("\tb\t", FILE);						\
   assemble_name (FILE, XSTR (XEXP (DECL_RTL (FUNCTION), 0), 0));	\
+  if (NEED_PLT_GOT)							\
+    fputs ("(PLT)", FILE);						\
   fputc ('\n', FILE);							\
 } while (0)