From 9feeb0fe449c7e43de353cd080f0b29a8f2ba748 Mon Sep 17 00:00:00 2001 From: akl Date: Fri, 24 Aug 2007 12:33:31 +0000 Subject: [PATCH] To correct environment path for sources. --- config_files/SIERPINSKY.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config_files/SIERPINSKY.sh b/config_files/SIERPINSKY.sh index cc7903c..74f9154 100755 --- 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 <