From bc59bc60d2e3f054631aa98eef181b3ff1c2874a Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Thu, 25 Oct 2018 19:02:51 -0700 Subject: [PATCH] No need to separately configure plugins. --- dist/make-src-files | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/dist/make-src-files b/dist/make-src-files index 466b46c39..b14ccf59d 100755 --- a/dist/make-src-files +++ b/dist/make-src-files @@ -57,18 +57,11 @@ notify "Configuring the distribution directory" run_command "${SRC_OUT}"-config "${DIST_DIR}"/src ./Setup.sh run_command "${DOC_OUT}"-config "${DIST_DIR}"/doc reconf -for plugin in $PLUGINS; do - D="${DIST_DIR}"/src/$plugin - run_command "${OUTPUT_DIR}"/$plugin-config \ - "${DIST_DIR}"/src/$plugin \ - ./autogen.sh -done - # Clean up after autoconf find "${DIST_DIR}" -type d -name autom4te.cache | xargs rm -rf fixup_perms "${DIST_DIR}" notify "Creating archive file" -make_tar_file "${SRC_OUT}" "${DIST_DIR}" +make_tar_file "${SRC_OUT}" "${DIST_DIR}" notify_finished -- 2.25.1