Skip to content
This repository has been archived by the owner on Aug 31, 2019. It is now read-only.

Tweaked a bit shell scripts #144

Open
wants to merge 1 commit into
base: real1.8
Choose a base branch
from
Open

Tweaked a bit shell scripts #144

wants to merge 1 commit into from

Conversation

socram8888
Copy link
Contributor

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.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant