Skip to content

Rename makefile variables for consistency #582

Rename makefile variables for consistency

Rename makefile variables for consistency #582