Bug#783205: stdint.h != stdio.h

2015-04-24 Thread Jakub Wilk
* Mathieu Malaterre , 2015-04-24, 11:19: Just for clarification, you do not have hardlink/symlink on your system. Log state: $ clang-3.5 -c test.c In file included from test.c:1: In file included from /usr/include/stdio.h:27: But $ GET "https://bugs.debian.org/cgi-bin/bugreport.cgi?msg=3;fi

Bug#783205: stdint.h != stdio.h

2015-04-24 Thread Mathieu Malaterre
Just for clarification, you do not have hardlink/symlink on your system. Log state: $ clang-3.5 -c test.c In file included from test.c:1: In file included from /usr/include/stdio.h:27: But $ GET "https://bugs.debian.org/cgi-bin/bugreport.cgi?msg=3;filename=test.c;att=1;bug=783205"; #include