X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Flockfile.c;h=9bb7c6b18af76a08b8159cb0a57c4a9e04208102;hb=9a77b2bce0154fedcf36747f45e477605e98559d;hp=e5a041eed4cfc195b2cd39af310afc051648a61a;hpb=ac718c9dbde6340a85d18c5c8d555d8e0ec88bb3;p=openvswitch

diff --git a/lib/lockfile.c b/lib/lockfile.c
index e5a041ee..9bb7c6b1 100644
--- a/lib/lockfile.c
+++ b/lib/lockfile.c
@@ -61,8 +61,8 @@ lockfile_name(const char *file_name)
 {
     const char *slash = strrchr(file_name, '/');
     return (slash
-            ? xasprintf("%.*s/.%s.~lock~", slash - file_name, file_name,
-                        slash + 1)
+            ? xasprintf("%.*s/.%s.~lock~",
+                        (int) (slash - file_name), file_name, slash + 1)
             : xasprintf(".%s.~lock~", file_name));
 }