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 b4372ee7fcab02ab8be7239b2d0dac017322d723..3b7d3416f1cc512086350cb914a9e0a51ab0d08e 100644 (file)
--- a/ui/common/ui-system.h
+++ b/ui/common/ui-system.h
@@ -28,8 +28,7 @@
 
 #include <signal.h>
 
-int pb_boot(const struct pb_boot_data *bd, int dry_run);
-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);