To correct environment path for sources.

[tools/install.git] / config_files / SIERPINSKY.sh

diff --git a/config_files/SIERPINSKY.sh b/config_files/SIERPINSKY.sh
index cc7903c20c315defb830faf9ec7c3ba26866d75b..74f915416924a60eff32550574ecef04f617d544 100755 (executable)
--- a/config_files/SIERPINSKY.sh
+++ b/config_files/SIERPINSKY.sh
@@ -57,7 +57,7 @@ make_env ${INSTALL_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUC
 print_env_src(){
 cat > ${INSTALL_WORK}/env_${PRODUCT_TYPE}_src.sh <<EOF
 #$DELIM ${PRODUCT_TYPE} $DELIM
-export SIERPINSKY_SRC_DIR=\${INSTALL_ROOT}/${PRODUCT}
+export SIERPINSKY_SRC_DIR=\${INSTALL_ROOT}/${PRODUCT_SRC}
 ##
 EOF