Fixed misspellings

This commit is contained in:
Laurent Saboret 2009-10-02 08:21:41 +00:00
parent 05b7683855
commit ba5baf1fe1
1 changed files with 27 additions and 25 deletions

View File

@ -62,11 +62,11 @@ cat << EOF
MAKE_CMD=make
fi
NEED_CLEAN=
EOF
echo
header "configure"
echo
cat << EOF
configure()
{
echo "Configuring... "
@ -75,7 +75,7 @@ configure()
-DCGAL_DIR="\$CGAL_DIR" \\
.' ; then
echo " succesful configuration" >> \$ERRORFILE
echo " successful configuration" >> \$ERRORFILE
else
echo " ERROR: configuration" >> \$ERRORFILE
fi
@ -83,22 +83,22 @@ configure()
EOF
header "compile_and_run <target>"
echo
cat << EOF
compile_and_run()
{
echo "Compiling \$1 ... "
SUCCES="y"
SUCCESS="y"
if eval '\${MAKE_CMD} VERBOSE=ON -fMakefile \$1' ; then
echo " succesful compilation of \$1" >> \$ERRORFILE
echo " successful compilation of \$1" >> \$ERRORFILE
else
echo " ERROR: compilation of \$1" >> \$ERRORFILE
SUCCES=""
SUCCESS=""
fi
if [ -n "\$DO_RUN" ] ; then
if [ -n "\${SUCCES}" ] ; then
if [ -n "\${SUCCESS}" ] ; then
OUTPUTFILE=ProgramOutput.\$1.\$PLATFORM
rm -f \$OUTPUTFILE
COMMAND="./\$1"
@ -112,7 +112,7 @@ compile_and_run()
echo
ulimit -t 3600 2> /dev/null
if eval \$COMMAND > \$OUTPUTFILE 2>&1 ; then
echo " succesful execution of \$1" >> \$ERRORFILE
echo " successful execution of \$1" >> \$ERRORFILE
else
echo " ERROR: execution of \$1" >> \$ERRORFILE
fi
@ -124,15 +124,17 @@ compile_and_run()
EOF
header "remove the previous error file"
echo
echo "rm -f \$ERRORFILE"
echo "touch \$ERRORFILE"
echo
header "configure, compile and run the tests"
echo
echo "configure"
echo
cat << EOF
rm -f \$ERRORFILE
touch \$ERRORFILE
EOF
header "configure, compile and run the tests"
cat << EOF
configure
if [ \$# -ne 0 ] ; then
for file in \$* ; do
compile_and_run \$file