]> git.tue.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b795331) | patch
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)
commitae647da612e0edfb607a4fdb251983d6405f6b00
tree955d5783282ccc8658ca7745b4210776fc9d4e4dtree | snapshot
parentb795331d8f7006e1cd15ddf124baf1384347d2dbcommit | diff
ipc.c: Uninline get_key_or_die().

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.
ipc.c diff | blob | history
DSS - dyadic snapshot scheduler