patches/binutils/2.16.1a/160-i386-no-divide-comment.patch
changeset 2664 346263a07115
parent 866 5fec4dba671e
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/patches/binutils/2.16.1a/160-i386-no-divide-comment.patch	Sun Sep 11 18:18:53 2011 +0200
     1.3 @@ -0,0 +1,40 @@
     1.4 +diff -durN binutils-2.16.1.orig/gas/config/tc-i386.c binutils-2.16.1/gas/config/tc-i386.c
     1.5 +--- binutils-2.16.1.orig/gas/config/tc-i386.c	2005-04-13 19:58:42.000000000 +0200
     1.6 ++++ binutils-2.16.1/gas/config/tc-i386.c	2008-09-22 09:00:09.000000000 +0200
     1.7 +@@ -192,16 +192,10 @@
     1.8 + #endif
     1.9 + 	;
    1.10 + 
    1.11 +-#if (defined (TE_I386AIX)				\
    1.12 +-     || ((defined (OBJ_ELF) || defined (OBJ_MAYBE_ELF))	\
    1.13 +-	 && !defined (TE_LINUX)				\
    1.14 +- 	 && !defined (TE_NETWARE)			\
    1.15 +-	 && !defined (TE_FreeBSD)			\
    1.16 +-	 && !defined (TE_NetBSD)))
    1.17 + /* This array holds the chars that always start a comment.  If the
    1.18 +    pre-processor is disabled, these aren't very useful.  */
    1.19 +-const char comment_chars[] = "#/";
    1.20 +-#define PREFIX_SEPARATOR '\\'
    1.21 ++const char comment_chars[] = "#";
    1.22 ++#define PREFIX_SEPARATOR '/'
    1.23 + 
    1.24 + /* This array holds the chars that only start a comment at the beginning of
    1.25 +    a line.  If the line seems to have the form '# 123 filename'
    1.26 +@@ -211,16 +205,7 @@
    1.27 +    #NO_APP at the beginning of its output.
    1.28 +    Also note that comments started like this one will always work if
    1.29 +    '/' isn't otherwise defined.  */
    1.30 +-const char line_comment_chars[] = "#";
    1.31 +-
    1.32 +-#else
    1.33 +-/* Putting '/' here makes it impossible to use the divide operator.
    1.34 +-   However, we need it for compatibility with SVR4 systems.  */
    1.35 +-const char comment_chars[] = "#";
    1.36 +-#define PREFIX_SEPARATOR '/'
    1.37 +-
    1.38 +-const char line_comment_chars[] = "/#";
    1.39 +-#endif
    1.40 ++const char line_comment_chars[] = "#/";
    1.41 + 
    1.42 + const char line_separator_chars[] = ";";
    1.43 +