mirror of https://github.com/CGAL/cgal
The `make clean` can fail when there is no target at all
This commit is contained in:
parent
bc0c30bbfd
commit
32a3f4b60b
|
|
@ -180,6 +180,6 @@ fi
|
||||||
#
|
#
|
||||||
if [ -n "${NEED_CLEAN}" ]; then
|
if [ -n "${NEED_CLEAN}" ]; then
|
||||||
if ! ( uname | grep -q "CYGWIN" ) ; then
|
if ! ( uname | grep -q "CYGWIN" ) ; then
|
||||||
${MAKE_CMD} -fMakefile clean
|
${MAKE_CMD} -fMakefile clean || true
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
|
||||||
|
|
@ -149,6 +149,6 @@ fi
|
||||||
#
|
#
|
||||||
if [ -n "${NEED_CLEAN}" ]; then
|
if [ -n "${NEED_CLEAN}" ]; then
|
||||||
if ! ( uname | grep -q "CYGWIN" ) ; then
|
if ! ( uname | grep -q "CYGWIN" ) ; then
|
||||||
${MAKE_CMD} -fMakefile clean
|
${MAKE_CMD} -fMakefile clean || true
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
|
||||||
|
|
@ -182,6 +182,6 @@ fi
|
||||||
#
|
#
|
||||||
if [ -n "${NEED_CLEAN}" ]; then
|
if [ -n "${NEED_CLEAN}" ]; then
|
||||||
if ! ( uname | grep -q "CYGWIN" ) ; then
|
if ! ( uname | grep -q "CYGWIN" ) ; then
|
||||||
${MAKE_CMD} -fMakefile clean
|
${MAKE_CMD} -fMakefile clean || true
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue