Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Makefile: always provide VERSION_STRING if none set.
Without this set the compile-without-docker script did not work. They do not have git installed.
- Loading branch information