From 069e917cca8086d7d00de7932f42e991b352ceee Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Sun, 26 Feb 2012 18:58:24 -0500
Subject: [PATCH] Fix a very old typo in the pre-built "binaries" directory
 index.

Closes PR 12604.
---
 collects/meta/build/build | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/collects/meta/build/build b/collects/meta/build/build
index 62347076b0..6ec53815b4 100755
--- a/collects/meta/build/build
+++ b/collects/meta/build/build
@@ -1570,7 +1570,8 @@ COPY_AND_BUILD_BINARY_DIRS() {
 
   local m
   for m in "${machines[@]}"; do
-    machine="$m" machineget mplatform=platform
+    machine="$m"
+    machineget mplatform=platform
     mplatformname="$(name_of_platform "$mplatform")"
     html_file_row "$mplatform" "Binaries for $mplatformname"
     {