diff mx/mx_graal_makefile.py @ 21947:e701664f4168

Add parameter description to jvmci.make
author Stefan Anzinger <stefan.anzinger@oracle.com>
date Fri, 12 Jun 2015 14:53:05 +0200
parents 62da3906ab7f
children 0458778bb188
line wrap: on
line diff
--- 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