Skip to content

Makefile: Use file name instead of file descriptor for .config target#210

Merged
thiagomacieira merged 1 commit intointel:mainfrom
AlfioEmanueleFresta:main
Oct 4, 2021
Merged

Makefile: Use file name instead of file descriptor for .config target#210
thiagomacieira merged 1 commit intointel:mainfrom
AlfioEmanueleFresta:main