Merge pull request #367 from ClusterCockpit/makefile-fix

Fix 'make -B', don't fail if $(VAR) already exists
This commit is contained in:
Jan Eitzinger 2025-03-20 12:47:16 +01:00 committed by GitHub
commit a102220e52
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

Diff Content Not Available