diff --git a/scripts/test.sh b/scripts/test.sh index 1f8ca8d..e7fa0d3 100755 --- a/scripts/test.sh +++ b/scripts/test.sh @@ -47,7 +47,7 @@ create_file() { file_html="${result_folder}/${filename}.html" if [[ ! -e "$file_html" ]] then - cat "scripts/header.html" > $file_html + # cat "scripts/header.html" > $file_html sed -i "s@TITLE@${filename}@" $file_html echo "

${filename}

" >> $file_html echo "
" >> $file_html @@ -61,7 +61,7 @@ create_file() { end_file() { # After the analysis the cfg.dot should correspond to the current test dot -Tsvg cfg.dot -o ${result_folder}/${filename}.svg - cat "scripts/footer.html" >> $file_html + # cat "scripts/footer.html" >> $file_html } get_nth_line() { @@ -252,7 +252,7 @@ print_end() { } mkdir ${result_folder} -cat "scripts/header_main.html" > $index_html +# cat "scripts/header_main.html" > $index_html echo "

Overview

" >> $index_html echo "" >> $index_html total=$(find $bench -iname "*.c" | wc -l)