diff options
-rwxr-xr-x | ACE/bin/generate_compile_stats.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ACE/bin/generate_compile_stats.sh b/ACE/bin/generate_compile_stats.sh index cbddc963c4c..feefae760ad 100755 --- a/ACE/bin/generate_compile_stats.sh +++ b/ACE/bin/generate_compile_stats.sh @@ -973,7 +973,7 @@ create_html () local DEST=$1 local TYPE=$2 - local ALL_BASE="" + local ALL_OBJS="" local ACE_OBJS="" local TAO_OBJS="" local CIAO_OBJS="" @@ -993,7 +993,7 @@ create_html () elif [ "${base}" != "${base#ACE}" ]; then ACE_OBJS="${ACE_OBJS} ${base}" fi - ALL_OBJS="${ALL_BASE} ${base}" + ALL_OBJS="${ALL_OBJS} ${base}" done # create main page @@ -1014,7 +1014,7 @@ create_html () sort_list ${DAnCE_OBJS} | create_page "DAnCE" ${TYPE} > ${DEST}/${name} else name="all_${TYPE}.html" - sort_list ${ACE_OBJS} | create_page $BASE_TITLE ${TYPE} > ${DEST}/${name} + sort_list ${ALL_OBJS} | create_page $BASE_TITLE ${TYPE} > ${DEST}/${name} fi fi } |