From 04982ea720a4cbfe24787d0013de2cd3c040a51e Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Wed, 21 Nov 2018 19:02:35 +0100 Subject: [PATCH] param/Makefile: Fix typo Fix typo in the variable definition. Changed files under src/param/ were not be recompiled if only files in param/ were changed. --- prism/src/param/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/param/Makefile b/prism/src/param/Makefile index 548f9b5a..99845c91 100644 --- a/prism/src/param/Makefile +++ b/prism/src/param/Makefile @@ -12,7 +12,7 @@ PRISM_DIR_REL = ../.. JNI_GEN_HEADER_DIR=$(THIS_DIR)/$(PRISM_DIR_REL)/$(INCLUDE_DIR)/jni -JAVA_FILES = $(wildcard *.java) +JAVA_FILES_ALL = $(wildcard *.java) JAVA_FILES = $(subst package-info.java,,$(JAVA_FILES_ALL)) CLASS_FILES = $(JAVA_FILES:%.java=$(PRISM_DIR_REL)/$(CLASSES_DIR)/$(THIS_DIR)/%.class)