diff --git a/make/dirs.mk b/make/dirs.mk index 2a61b2c4..c89dfb13 100644 --- a/make/dirs.mk +++ b/make/dirs.mk @@ -42,6 +42,9 @@ distclean: dirs.clean dirs.distclean subdirs-%: FORCE_REBUILD_SUBDIRS=true make $* +local-%: + FORCE_REBUILD_SUBDIRS=true DONT_CHECK_PREREQ_DONE=true make $* + define subdir_rule $(1): dirs-$(1).done