diff options
Diffstat (limited to 'mille/print.c')
| -rw-r--r-- | mille/print.c | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/mille/print.c b/mille/print.c index 042b8162..4cf850c6 100644 --- a/mille/print.c +++ b/mille/print.c @@ -1,4 +1,4 @@ -/* $NetBSD: print.c,v 1.7 1999/09/08 21:17:51 jsm Exp $ */ +/* $NetBSD: print.c,v 1.8 1999/09/08 21:45:28 jsm Exp $ */ /* * Copyright (c) 1982, 1993 @@ -38,7 +38,7 @@ #if 0 static char sccsid[] = "@(#)print.c 8.1 (Berkeley) 5/31/93"; #else -__RCSID("$NetBSD: print.c,v 1.7 1999/09/08 21:17:51 jsm Exp $"); +__RCSID("$NetBSD: print.c,v 1.8 1999/09/08 21:45:28 jsm Exp $"); #endif #endif /* not lint */ @@ -122,7 +122,11 @@ static char Score_fmt[] = "%4d"; void prscore(for_real) - bool for_real; +#ifdef EXTRAP + bool for_real; +#else + bool for_real __attribute__((__unused__)); +#endif { PLAY *pp; int x; |