Loading scripts/pki_generate_makefile.bash +1 −1 Original line number Diff line number Diff line Loading @@ -248,6 +248,6 @@ fi ../bin/Ats${ATS_NAME} -v if [ "$?" != "0" ] then f_exit "Failed to executte binary file Ats${ATS_NAME}" 10 #f_exit "Failed to executte binary file Ats${ATS_NAME}" 10 fi f_exit "Build done successfully" 0 Loading
scripts/pki_generate_makefile.bash +1 −1 Original line number Diff line number Diff line Loading @@ -248,6 +248,6 @@ fi ../bin/Ats${ATS_NAME} -v if [ "$?" != "0" ] then f_exit "Failed to executte binary file Ats${ATS_NAME}" 10 #f_exit "Failed to executte binary file Ats${ATS_NAME}" 10 fi f_exit "Build done successfully" 0