# HG changeset patch
# User Stefan Anzinger <stefan.anzinger@oracle.com>
# Date 1434113585 -7200
# Node ID e701664f4168b5e61ff3d5a1c7cee20d9770b4bf
# Parent  49dad3e40b57bfa89a098fff1c48b694653b3909
Add parameter description to jvmci.make

diff -r 49dad3e40b57 -r e701664f4168 make/jvmci.make
--- a/make/jvmci.make	Fri Jun 12 14:52:08 2015 +0200
+++ b/make/jvmci.make	Fri Jun 12 14:53:05 2015 +0200
@@ -74,7 +74,11 @@
     $(QUIETLY) rm -r $(TMP);
 endef
 
-# Verifies if the defs.make contain the exported files of services/
+# Verifies if the defs.make contain the exported files of services/ or options/
+# Arguments:
+#  1: files to check
+#  2: prefix for pattern to check
+#  3: path to defs.make file
 define verify_export_def_make
     $(foreach file,$(1),$(if $(shell grep '$(2)$(file)' $(3) > /dev/null && echo found), , $(error "Pattern '$(2)$(file)' not found in $(3)")))
 endef
diff -r 49dad3e40b57 -r e701664f4168 mx/mx_graal_makefile.py
--- a/mx/mx_graal_makefile.py	Fri Jun 12 14:52:08 2015 +0200
+++ b/mx/mx_graal_makefile.py	Fri Jun 12 14:53:05 2015 +0200
@@ -232,7 +232,11 @@
     $(QUIETLY) rm -r $(TMP);
 endef
 
-# Verifies if the defs.make contain the exported files of services/
+# Verifies if the defs.make contain the exported files of services/ or options/
+# Arguments:
+#  1: files to check
+#  2: prefix for pattern to check
+#  3: path to defs.make file
 define verify_export_def_make
     $(foreach file,$(1),$(if $(shell grep '$(2)$(file)' $(3) > /dev/null && echo found), , $(error "Pattern '$(2)$(file)' not found in $(3)")))
 endef