load and save the 2548:1002 config for XBMC too. try to create the profile directory...
[deb_libcec.git] / src / lib / adapter / RPi / RPiCECAdapterCommunication.h
index 01dbb5e51adbea0935fd5b538f458ada03aa5487..7f815450c27b60a87e28cc4256d7b4ed80880acf 100644 (file)
@@ -34,7 +34,7 @@
 #if defined(HAVE_RPI_API)
 
 #include "lib/adapter/AdapterCommunication.h"
-#include "lib/platform/threads/mutex.h"
+#include "lib/platform/threads/threads.h"
 
 extern "C" {
 #include <interface/vmcs_host/vc_cecservice.h>