Fix a very old typo in the pre-built "binaries" directory index.

Closes PR 12604.
2012-02-26 18:58:24 -05:00 · 2012-02-26 18:58:24 -05:00 · 069e917cca
commit 069e917cca
parent ac9c155feb
1 changed files with 2 additions and 1 deletions
--- 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"
    {