Closed stefanoborini closed 7 years ago
Tilde is not expanded in Makefiles. The default value was not going to work.
Tilde is not expanded in Makefiles. The default value was not going to work.