From e25616fcd9aff6b628bf4418b41fcd1d6de67f92 Mon Sep 17 00:00:00 2001 From: Matthew Naylor Date: Mon, 27 Mar 2023 12:19:39 +0100 Subject: [PATCH] Tweak --- de10-pro-e/Makefile | 2 +- de10-pro/Makefile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/de10-pro-e/Makefile b/de10-pro-e/Makefile index a680c6b..cd3a7db 100644 --- a/de10-pro-e/Makefile +++ b/de10-pro-e/Makefile @@ -1,5 +1,5 @@ SIMTIGHT_ROOT ?= $(realpath ..) -NUM_SEEDS ?= 4 +NUM_SEEDS ?= 8 PEBBLES_CABLE_ID ?= 1 QPF = DE10_Pro.qpf diff --git a/de10-pro/Makefile b/de10-pro/Makefile index 3c609e3..aa0ca39 100644 --- a/de10-pro/Makefile +++ b/de10-pro/Makefile @@ -1,5 +1,5 @@ SIMTIGHT_ROOT ?= $(realpath ..) -NUM_SEEDS ?= 4 +NUM_SEEDS ?= 8 QPF = DE10_Pro.qpf .PHONY: one