diff options
Diffstat (limited to '')
-rw-r--r-- | doc/tools/update | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/doc/tools/update b/doc/tools/update index 06838612db..6199707a74 100644 --- a/doc/tools/update +++ b/doc/tools/update @@ -116,7 +116,7 @@ mode="" base_directory=. do_files="no" do_prompt="yes" -replacement_file="${RTEMS_HOME}/update-tools/310_to_320_list" +replacement_file="" while getopts sfp:b:v OPT do @@ -173,6 +173,7 @@ fi # Verify enough of the RTEMS environment variables are set # +RTEMS_HOME=/usr1/rtems/rtemsdoc-work if [ ! -d "${RTEMS_HOME}" ] then fatal "RTEMS_HOME environment variable is not initialized" @@ -198,7 +199,11 @@ generate_list() generate_list | ${xargs_prog} | while read line do - ${RTEMS_HOME}/update-tools/word-replace -p ${replacement_file} ${line} + + if [ ${verbose} = yes ] ; then + echo ${RTEMS_HOME}/tools/word-replace -p ${replacement_file} ${line} + fi + ${RTEMS_HOME}/tools/word-replace -p ${replacement_file} ${line} if [ $? -ne 0 ] then exit 1 |