-
Arnaud Degroote authored
While here, use INSTALLATION_DIRS instead of hardcoding install -d stuff
Arnaud Degroote authoredWhile here, use INSTALLATION_DIRS instead of hardcoding install -d stuff
While here, use INSTALLATION_DIRS instead of hardcoding install -d stuff
While here, use INSTALLATION_DIRS instead of hardcoding install -d stuff