configure: Rename ENABLE_PS3 to PLATFORM_PS3

[petitboot] / ui / common / ui-system.h

diff --git a/ui/common/ui-system.h b/ui/common/ui-system.h
index 5ce501af81e1b9dddc5ca92d22c888fb5c75cf69..3b7d3416f1cc512086350cb914a9e0a51ab0d08e 100644 (file)
--- a/ui/common/ui-system.h
+++ b/ui/common/ui-system.h
@@ -28,7 +28,7 @@
 
 #include <signal.h>
 
-int pb_start_daemon(void);
+int pb_start_daemon(void *ctx);
 
 unsigned int pb_elf_hash(const char *str);
 unsigned int pb_cat_hash(const char *a, const char *b);