diff options
author | Campbell Barton <ideasman42@gmail.com> | 2019-07-11 02:22:19 +0300 |
---|---|---|
committer | Campbell Barton <ideasman42@gmail.com> | 2019-07-11 02:22:42 +0300 |
commit | de203b26c2f70e622f0b223134f3946967b57f97 (patch) | |
tree | c259d0946e295e5825711dbc772cc5885f5029d2 | |
parent | bb7b741d2f1c5ff24347d9887115285c7eb520a3 (diff) |
Cleanup: quiet warning
-rw-r--r-- | source/blender/windowmanager/intern/wm_operators.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/source/blender/windowmanager/intern/wm_operators.c b/source/blender/windowmanager/intern/wm_operators.c index 54eef4540c1..29e6c670c00 100644 --- a/source/blender/windowmanager/intern/wm_operators.c +++ b/source/blender/windowmanager/intern/wm_operators.c @@ -1559,6 +1559,8 @@ static void wm_block_splash_add_labels(uiBlock *block, int x, int y) wm_block_splash_add_label(block, branch_buf, x, &y); } } +#else + UNUSED_VARS(show_build_info); #endif /* WITH_BUILDINFO */ } |