[doc] options clarification
@@ -81,21 +81,21 @@ function print_all_options() {
echo " Debugging Information: "
echo ""
echo -e "\tPrint all Devices available : --devices "
- echo -e "\tPrint Generated Kernel : -Dtornado.opencl.source.print=True "
- echo -e "\tPrint Kernel Debug Information: -Dtornado.debug=True "
- echo -e "\tEnable Full Debug : -Dtornado.fullDebug=True "
- echo -e "\tDump Compiled Graphs into IGV : -Dgraal.Dump=*:5 -Dgraal.PrintGraph=Network -Dgraal.PrintCFG=false "
+ echo -e "\tPrint generated kernel : -Dtornado.opencl.source.print=True "
+ echo -e "\tPrint kernel debug information: -Dtornado.debug=True "
+ echo -e "\tEnable full debug information : -Dtornado.fullDebug=True "
+ echo -e "\tDump compiled graphs into IGV : -Dgraal.Dump=*:5 -Dgraal.PrintGraph=Network -Dgraal.PrintCFG=false "
echo ""
- echo " Change The Device To Run the Application (by default is 0): "
+ echo " Define on which device the application should run (by default is 0): "
echo -e "\tChange OpenCL device to run the application: -D<task-scheduleName>.<taskName>=0:<deviceID> (e.g., -Ds0.t0.device=0:2)"
echo ""
echo " Profiler: "
- echo -e "\tEnable Online Profiler : -Dtornado.profiler=True "
- echo -e "\tSave Profiler into a File : -Dtornado.profiler=True -Dtornado.profiler.save=True "
- echo -e "\tEnable Profiler and print at the end of the execution: -Dtornado.profiler=True -Dtornado.log.profiler=True "
+ echo -e "\tEnable online profiler : -Dtornado.profiler=True "
+ echo -e "\tSave profiler information : -Dtornado.profiler=True -Dtornado.profiler.save=True "
+ echo -e "\tEnable profiler and print at the end of the execution: -Dtornado.profiler=True -Dtornado.log.profiler=True "
echo ""
echo " Device Heap: "
- echo -e "\tResize the Device Heap (1GB by default): -Dtornado.heap.allocation=512MB"
+ echo -e "\tResize the device heap (1GB by default): -Dtornado.heap.allocation=512MB"
echo ""
echo " FPGA: "
echo -e "\tLoad the FPGA configuration file: -Dtornado.fpga.conf.file=<file>"
