Refactoring check for docker to fix a bug to use Makefile inside docker#1735

Merged

Ralim merged 2 commits intoRalim:devfrom ia:make-docker-check

Jul 6, 2023

+24-13

Commits on Jul 6, 2023

Makefile: refactoring check for docker to fix a bug so Makefile could be used inside of docker container
ia
committed
Makefile: update .PHONY section
ia
committed