diff --git a/make/projects-dir.mk b/make/projects-dir.mk index 2069bbbc..37a790d1 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -65,6 +65,10 @@ ifndef JANWARE_USER endif ifeq ($(JANWARE_USER),) + OFFLINE ?= true +endif + +ifeq ($(OFFLINE),true) UNAVAILABLE_TARGETS ?= pull.done update.done clone.done else UNAVAILABLE_TARGETS ?=