From 994deb195c3cdf026d2a80f3fc00cf0a99dd904a Mon Sep 17 00:00:00 2001 From: =?utf8?q?Uwe=20K=C3=B6cher?= Date: Mon, 30 Nov 2015 20:21:37 +0100 Subject: [PATCH] candi: package deal.II: optimises configuration file name --- deal.II-toolchain/packages/dealii.package | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deal.II-toolchain/packages/dealii.package b/deal.II-toolchain/packages/dealii.package index bc21b2f..dddfc8e 100644 --- a/deal.II-toolchain/packages/dealii.package +++ b/deal.II-toolchain/packages/dealii.package @@ -226,7 +226,7 @@ setenv DEAL_II_DIR ${INSTALL_PATH} ############################################################################ # Generate configuration file - CONFIG_FILE=${CONFIGURATION_PATH}/${NAME} + CONFIG_FILE=${CONFIGURATION_PATH}/deal.II-${VERSION} rm -f $CONFIG_FILE echo " export DEAL_II_DIR=${INSTALL_PATH} -- 2.39.5