From b4667e9686dd3186383007017f3338abd39820da Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 11 Dec 2021 13:20:18 -0500 Subject: [PATCH] test: fix production of data file --- Makefile | 5 +---- tests/dune | 6 ++++++ 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index c586a411..39fceab8 100644 --- a/Makefile +++ b/Makefile @@ -5,12 +5,9 @@ all: build test build: @dune build @install -test: tests/foo_50 +test: @dune runtest --no-buffer --force -tests/foo_50: - dd if=/dev/zero of=$@ bs=1M count=50 - clean: @dune clean diff --git a/tests/dune b/tests/dune index 37621ada..48277535 100644 --- a/tests/dune +++ b/tests/dune @@ -40,3 +40,9 @@ (rule (alias runtest) (action (diff dl-out.expect dl-out))) + + +(rule + (targets foo_50) + (action + (bash "dd if=/dev/zero of=%{targets} bs=1M count=50")))