cmmi: disable timeout by default

refs #6842
2025-07-27 07:44:04 +02:00 · 2014-09-11 16:01:31 +02:00 · 2014-09-11 16:01:31 +02:00 · a6c7fe21ea
commit a6c7fe21ea
parent e7fad2c123
1 changed files with 1 additions and 2 deletions
--- a/.vagrant-puppet/modules/cmmi/manifests/init.pp
+++ b/.vagrant-puppet/modules/cmmi/manifests/init.pp
@ -25,7 +25,6 @@
 #     flags        => '--prefix=/opt/example-software',
 #     creates      => '/opt/example-software',
 #     make         => 'make && make install'
-#     make_timeout => 600
 #   }
 #
 define cmmi(
@ -34,7 +33,7 @@ define cmmi(
  $creates,
  $make,
  $flags='',
-  $make_timeout=300,
+  $make_timeout=0,
  $configure_command='sh ./configure'
 ) {