16 # Commented out to trex-docs is integrated into trex repo
23 echo "*******************************************************************"
24 echo "* TREX BUILD SUCCESSFULLY COMPLETED"
25 echo "*******************************************************************"