diff --git a/Makefile b/Makefile index 49d9b404d..8f3561d45 100644 --- a/Makefile +++ b/Makefile @@ -16,6 +16,7 @@ export FRADRIVE_SERVICE # TODO: to be deprecated export DEV_PORT_HTTP export DEV_PORT_HTTPS +export HOOGLE_PORT export IMAGE_REGISTRY = docker.io export MEMCACHED_IMAGE = $(IMAGE_REGISTRY)/memcached:latest @@ -352,7 +353,7 @@ start-backend: BASE_PORTS = "DEV_PORT_HTTP=3000" "DEV_PORT_HTTPS=3443" start-backend: SINGLETON = false start-backend: static -start-hoogle: BASE_PORT = "HOOGLE_PORT=8081" +start-hoogle: BASE_PORTS = "HOOGLE_PORT=8081" start-hoogle: SINGLETON=true start-frontend: SINGLETON = false @@ -421,7 +422,7 @@ log-%: # TODO: move targets below to better location # Some convenience aliases: -hoogle: start-hoogle +hoogle: start-hoogle; .PHONY: i18n-check # HELP: check internationalization