From 4ed21917c798898cea95cc498f7bbc60c7456b04 Mon Sep 17 00:00:00 2001 From: okay Date: Fri, 24 May 2024 15:28:45 -0700 Subject: [PATCH] [rmkit] fix missing docker/ prefix in Makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 31ae922..4e17918 100644 --- a/Makefile +++ b/Makefile @@ -27,7 +27,7 @@ $(RUN_APPS): %: rmkit.h cd src/$(@:run_%=%) && make run $(DOCKER_APPS): %: - docker build --tag ${DOCKERBUILD} . -f ${DOCKERFILE} + docker build --tag ${DOCKERBUILD} . -f docker/${DOCKERFILE} bash scripts/build/docker_build.sh $(@:%_docker=%) $(CLEAN_APPS): %: