}
}
-static char *create_kernel_archlinux (const char *hostcpu, const char *kernel);
+static const char *create_kernel_archlinux (const char *hostcpu, const char *kernel);
/* Create the kernel. This chooses an appropriate kernel and makes a
* symlink to it.
/* In ArchLinux, kernel is always named /boot/vmlinuz26, and we have
* to use the 'file' command to work out what version it is.
*/
-static char *
+static const char *
create_kernel_archlinux (const char *hostcpu, const char *kernel)
{
const char *file_cmd = "file /boot/vmlinuz26 | awk '{print $9}'";