platform_unix.c
changeset 19 f556da1872f4
parent 9 4a96fabb7b79
child 25 fb920893c233
--- a/platform_unix.c	Thu May 27 09:21:52 2004 +0000
+++ b/platform_unix.c	Thu May 27 09:32:31 2004 +0000
@@ -375,9 +375,9 @@
 } /* update_version */
 
 
-int manually_locate_product(char *buf, size_t bufsize);
+int manually_locate_product(const char *name, char *buf, size_t bufsize);
 
-int chdir_by_identifier(const char *str, const char *version)
+int chdir_by_identifier(const char *name, const char *str, const char *version)
 {
     char buf[MAXPATHLEN];
     Boolean b;
@@ -401,7 +401,7 @@
     else
     {
         _log("Couldn't find product. Perhaps it isn't installed?");
-        if (!manually_locate_product(buf, sizeof (buf)))
+        if (!manually_locate_product(name, buf, sizeof (buf)))
         {
             _fatal("We can't patch the product if we can't find it!");
             return(0);