]> git.tuebingen.mpg.de Git - dss.git/commitdiff
ipc.c: Uninline get_key_or_die().
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 17 Feb 2017 14:36:50 +0000 (15:36 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 16 Apr 2017 10:32:06 +0000 (12:32 +0200)
This function is rather big, so it's not clear whether it should
be inlined or not. Without the inline attribute, that's up to the
compiler to decide.


No differences found