diff --git a/ext/Makefile b/ext/Makefile index f46b734fd..0d8cb9c33 100644 --- a/ext/Makefile +++ b/ext/Makefile @@ -50,7 +50,7 @@ examples/benchmarks/%-nassau-fixed: dummy examples/benchmarks/%: dummy - (head -n 1 $@ && bash -c "echo '' | cargo run --example $$(head -n 1 $@)") | diff --color $@ - + (head -n 1 $@ && timeout 30 bash -c "echo '' | cargo run --example $$(head -n 1 $@)" || echo "Timed out") | diff --color $@ - examples/benchmarks/%-nassau: dummy (head -n 1 $@ && bash -c "echo '' | cargo run --features nassau --example $$(head -n 1 $@)") | diff --color $@ -