diff --git a/docs/index/Benchmarks/go_xxx b/docs/index/Benchmarks/go_xxx index 1105febfc..ab59587a0 100755 --- a/docs/index/Benchmarks/go_xxx +++ b/docs/index/Benchmarks/go_xxx @@ -12,21 +12,22 @@ else compress.P sg_cyl.P pta.P mutagenesis.P" fi -echo "========================================" -echo " XXX JITI 1st " -echo "========================================" +printf "========================================\n" +printf " XXX 1st JITI \n" +printf "========================================\n" for file in $testfiles ; do benchname=`basename $file .P` printf "%21s " $benchname - $XXX << EOF 2>/dev/null - ['$file']. - time. -EOF -printf " \t" $XXX << EOF 2>/dev/null compile('$file',[jiti_off]). ['$file']. time. EOF -echo +rm *.O +printf " \t" + $XXX << EOF 2>/dev/null + ['$file']. + time. +EOF +printf "\n" done diff --git a/docs/index/Benchmarks/go_yap b/docs/index/Benchmarks/go_yap index bfa035815..44108adb2 100755 --- a/docs/index/Benchmarks/go_yap +++ b/docs/index/Benchmarks/go_yap @@ -10,23 +10,23 @@ else compress.P sg_cyl.P pta.P mutagenesis.P" fi -echo "========================================" -echo " Yap JITI 1st " -echo "========================================" +printf "========================================\n" +printf " Yap 1st JITI \n" +printf "========================================\n" for file in $testfiles ; do benchname=`basename $file .P` printf "%21s " $benchname - $XXX << EOF 2>/dev/null - yap_flag(tabling_mode,local). - ['$file']. - time. -EOF -printf " \t" $XXX << EOF 2>/dev/null set_prolog_flag(index,single). yap_flag(tabling_mode,local). ['$file']. time. EOF -echo +printf " \t" + $XXX << EOF 2>/dev/null + yap_flag(tabling_mode,local). + ['$file']. + time. +EOF +printf "\n" done