makefile - Passing additional variables from command line to make
Tue Dec 20 2022 01:43:28 GMT+0000 (Coordinated Universal Time)
Saved by @lahiruaruna
https://stackoverflow.com/questions/2826029/passing-additional-variables-from-command-line-to-make
Comments