Commit 7290a2ae authored by Yann Garcia's avatar Yann Garcia
Browse files

Syntax bug fixedpki_generate_makefile.bash

parent c7a0d328
......@@ -246,8 +246,8 @@ then
f_exit "Failed to generate ATS source code" 9
fi
../bin/Ats${ATS_NAME} -v
if [ "$?" != "0" ]
then
#f_exit "Failed to executte binary file Ats${ATS_NAME}" 10
fi
#if [ "$?" != "0" ]
#then
# f_exit "Failed to executte binary file Ats${ATS_NAME}" 10
#fi
f_exit "Build done successfully" 0
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment