From b118e45d49c7f795f828f74d4b4ab540264ebb9b Mon Sep 17 00:00:00 2001
From: Alfrix <alfredomonclus@gmail.com>
Date: Wed, 22 Aug 2018 12:51:59 -0300
Subject: [PATCH] Don't show the pipeline option it was disabled in the build

---
 menu/menu_setting.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/menu/menu_setting.c b/menu/menu_setting.c
index 40f65a60a2..a83667cd68 100644
--- a/menu/menu_setting.c
+++ b/menu/menu_setting.c
@@ -6391,6 +6391,7 @@ static bool setting_append_list(
                   general_read_handler,
                   SD_FLAG_NONE);
 
+#ifdef HAVE_SHADERPIPELINE
             if (video_shader_any_supported())
             {
                CONFIG_UINT(
@@ -6406,6 +6407,7 @@ static bool setting_append_list(
                      general_read_handler);
                menu_settings_list_current_add_range(list, list_info, 0, XMB_SHADER_PIPELINE_LAST-1, 1, true, true);
             }
+#endif
 
             CONFIG_UINT(
                   list, list_info,