Closed sharkwouter closed 4 years ago
I feel like replacing libraries on rebuild may be desirable (i.e when updating library with newer revision).
However, having an error when replacing is worrying (assuming you have sufficient user rights), will reproduce it this weekend and give you feedback.
Well, I do agree that reinstalling can have value, but this repo currently has no support/mechanism for this. That should probably be addressed separately for the whole repo if possible.
This makes sure the libraries.sh script does not try to rebuild the zziplib library if it is already installed. Without this it is build and fails to install, because the files already exist.