diff options
Diffstat (limited to 'src/cmd/venti/mkfile')
| -rw-r--r-- | src/cmd/venti/mkfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/cmd/venti/mkfile b/src/cmd/venti/mkfile index 2ef1ed21..99d8c98f 100644 --- a/src/cmd/venti/mkfile +++ b/src/cmd/venti/mkfile @@ -44,9 +44,9 @@ TARG=\ fmtarenas\ fmtisect\ fmtindex\ - buildindex\ +# buildindex\ checkarenas\ - checkindex\ +# checkindex\ clumpstats\ findscore\ rdarena\ |