diff options
author | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-09-22 05:08:26 -0300 |
---|---|---|
committer | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-09-22 05:08:26 -0300 |
commit | 379cb6eb270b0b26ddddb9170c6dcd0f756d1de5 (patch) | |
tree | 327e3b104fb8f5566e0cc9ba54488857e38fcaa2 | |
parent | 7c02d4480f87936ba1351299072704a3744ede1d (diff) |
Fix skip on built_ok
-rwxr-xr-x | treepkg | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -195,7 +195,7 @@ if [ ${DEPTH} -eq 0 ]; then # Ignore if there's no PKGBUILD if [ ! -f "${BUILDDIR}/${_pkg}/PKGBUILD" ]; then continue; fi # Skip if already built (faster than calling is_build again) - if [ -f built_ok ]; then continue; fi + if [ -f "${BUILDDIR}/${_pkg}/built_ok" ]; then continue; fi ${VERBOSE} && msg "Building ${_pkg/_/ }" || true |