diff --git a/targets.mk b/targets.mk index da24ae21e..94387f476 100644 --- a/targets.mk +++ b/targets.mk @@ -53,7 +53,7 @@ up2: update update: git remote update git pull - $(MAKE) all + $(MAKE) check install: $(INSTSUB)