diff options
Diffstat (limited to 'lang/stalin/patches/patch-ai')
| -rw-r--r-- | lang/stalin/patches/patch-ai | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/stalin/patches/patch-ai b/lang/stalin/patches/patch-ai index 8f6813a2a1d..6f78cfe11f5 100644 --- a/lang/stalin/patches/patch-ai +++ b/lang/stalin/patches/patch-ai @@ -1,4 +1,4 @@ -$NetBSD: patch-ai,v 1.1.1.1 2000/12/10 11:07:35 jtb Exp $ +$NetBSD: patch-ai,v 1.2 2000/12/10 12:20:48 jtb Exp $ --- benchmarks/compile-stalin-benchmark.orig Mon Apr 26 20:40:11 1999 +++ benchmarks/compile-stalin-benchmark @@ -7,4 +7,4 @@ $NetBSD: patch-ai,v 1.1.1.1 2000/12/10 11:07:35 jtb Exp $ echo compile $1 sed -f stalin.sed $1.sc >$1-stalin.sc -time ../stalin $o $2 $1-stalin -+time %%PREFIX%%/bin/stalin $o $2 $1-stalin ++time %%STALIN%% $o $2 $1-stalin |