Formerly commands.c.~14~

diff --git a/commands.c b/commands.c
index 42b9b9e399e221b81362436f8179a7c0a3712881..9d24a9c1250260d1c67381b2c5499c323d94981f 100644 (file)
--- a/commands.c
+++ b/commands.c
@@ -1,5 +1,5 @@
 /* Command processing for GNU Make.
-Copyright (C) 1988, 1989, 1991, 1992 Free Software Foundation, Inc.
+Copyright (C) 1988, 1989, 1991, 1992, 1993 Free Software Foundation, Inc.
 This file is part of GNU Make.
 
 GNU Make is free software; you can redistribute it and/or modify
@@ -520,7 +520,7 @@ print_commands (cmds)
       if (end == 0)
        end = s + strlen (s);
 
-      printf ("\t%.*s\n", end - s, s);
+      printf ("\t%.*s\n", (int) (end - s), s);
 
       s = end;
     }