improvement

This commit is contained in:
Enrico Del Fante 2022-11-25 11:14:49 +01:00
parent 0caab36c0b
commit b3224e5a2f
No known key found for this signature in database
GPG Key ID: F435EFF90817FBA5
1 changed files with 9 additions and 5 deletions

View File

@ -25,6 +25,10 @@ else
endif endif
endif endif
ifeq ($(JAVA_HOME),)
$(error JAVA_HOME is not set and autodetection failed)
endif
all: build test all: build test
build: build: