tags 896150 pending tags 894995 - patch thanks Hi,
Am Freitag, den 20.04.2018, 11:46 +0300 schrieb Adrian Bunk: > Source: rdma-core > Version: 17.1-1 > Severity: normal > > Please add riscv64 to the ports without valgrind > it is not likely to have valgrind soon. This was already requested in bug #894995 and I applied it in git: https://github.com/linux-rdma/rdma-core/commit/0fcfec423db1eb766e1a34334f06f77482f46fc6 Disabling valgrind is not enough for building on riscv64: see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=894995#10 Help for developing the patch will be appreciated. -- Benjamin Drung System Developer Debian & Ubuntu Developer ProfitBricks GmbH Greifswalder Str. 207 10405 Berlin Email: [email protected] URL: https://www.profitbricks.de Sitz der Gesellschaft: Berlin Registergericht: Amtsgericht Charlottenburg, HRB 125506 B Geschäftsführer: Achim Weiss, Matthias Steinberg, Christoph Steffens
