From 6f18e53ce7ff92966835a9578df0dc68929bdf2a Mon Sep 17 00:00:00 2001
From: cvh <namerp@googlemail.com>
Date: Thu, 5 Jan 2017 12:41:41 +0100
Subject: [PATCH] projects/RPi/options: add media_build

---
 projects/RPi/options | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/projects/RPi/options b/projects/RPi/options
index 6570a08f17..97b38d543d 100644
--- a/projects/RPi/options
+++ b/projects/RPi/options
@@ -140,4 +140,4 @@
   # for a list of additinoal drivers see packages/linux-drivers
   # Space separated list is supported,
   # e.g. ADDITIONAL_DRIVERS="DRIVER1 DRIVER2"
-    ADDITIONAL_DRIVERS="$ADDITIONAL_DRIVERS"
+    ADDITIONAL_DRIVERS="$ADDITIONAL_DRIVERS media_build"