From: Matt Birkholz <matt@birkholz.chandler.az.us>
Date: Tue, 15 Oct 2013 17:55:39 +0000 (-0700)
Subject: dist/make-src-files: Fix $plugin-config log file names.
X-Git-Tag: release-9.2.0~59
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=f98ffc3c10be90c1175d8ba5d69272f564be6d8e;p=mit-scheme.git

dist/make-src-files: Fix $plugin-config log file names.
---

diff --git a/dist/make-src-files b/dist/make-src-files
index af4c478c3..15e6fbe02 100755
--- a/dist/make-src-files
+++ b/dist/make-src-files
@@ -69,7 +69,7 @@ plugin ()
 
 for plugin in $PLUGINS; do
     D="${DIST_DIR}"/src/$plugin
-    run_command "${DOC_OUT}"-$plugin-config "${DIST_DIR}"/src/$plugin plugin
+    run_command "${OUTPUT_DIR}"/$plugin-config "${DIST_DIR}"/src/$plugin plugin
 done
 
 # Clean up after autoconf