This PR makes pushd and popd silent, uses log_* everywhere for improved visibility of errors, and uses wget if curl is not available (curl still has priority over wget).
Also I made clean.sh so that it returns the number of failed directory removals (so it's possible to chain commands like "./clean.sh && ./build.sh" so the second does not execute if the first fails)
I also removed cache directory from clean.sh. Cache is used solely for 1:1 copies of binaries from CDN. These files are never modified, and its MD5 is checked so corrupted files or modified are automatically removed and redownloaded when needed. Therefore there's no need to wait or waste bandwidth redownloading them once fetched.
This PR makes pushd and popd silent, uses log_* everywhere for improved visibility of errors, and uses wget if curl is not available (curl still has priority over wget).
Also I made clean.sh so that it returns the number of failed directory removals (so it's possible to chain commands like "./clean.sh && ./build.sh" so the second does not execute if the first fails)
I also removed cache directory from clean.sh. Cache is used solely for 1:1 copies of binaries from CDN. These files are never modified, and its MD5 is checked so corrupted files or modified are automatically removed and redownloaded when needed. Therefore there's no need to wait or waste bandwidth redownloading them once fetched.