Document path parameter ($bin_path) for "make" exec

EmersonPrado · Jul 7, 2017 · 3778592 · 3778592
1 parent 1bbe16b
commit 3778592
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/manifests/make.pp b/manifests/make.pp
@@ -16,6 +16,11 @@
 #   make target
 #   Default => none
 #
+# bin_path (array of strings)
+#   Path for the make executable
+#   and eventual command-line stuff
+#   Default => ['/bin','/usr/bin']
+#
 # user (string)
 #   User which executes make
 #   Default => User running Puppet agent (typically root)