From af0348138548ada45dd0f6a9c0ec376a7b0da265 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sat, 13 Oct 2012 19:47:39 +0000 Subject: [PATCH] tools: more sample journals --- Makefile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 6d72d0448..fc276ac87 100644 --- a/Makefile +++ b/Makefile @@ -462,7 +462,7 @@ ghci: ghci $(INCLUDEPATHS) $(MAIN) # generate standard sample journals -samplejournals: data/sample.journal data/100x100x10.journal data/1000x1000x10.journal data/10000x1000x10.journal data/100000x1000x10.journal +samplejournals: data/sample.journal data/100x100x10.journal data/1000x1000x10.journal data/1000x10000x10.journal data/10000x1000x10.journal data/10000x10000x10.journal data/100000x1000x10.journal data/sample.journal: true # XXX should probably regenerate this @@ -473,9 +473,15 @@ data/100x100x10.journal: tools/generatejournal data/1000x1000x10.journal: tools/generatejournal tools/generatejournal 1000 1000 10 >$@ +data/1000x10000x10.journal: tools/generatejournal + tools/generatejournal 1000 10000 10 >$@ + data/10000x1000x10.journal: tools/generatejournal tools/generatejournal 10000 1000 10 >$@ +data/10000x10000x10.journal: tools/generatejournal + tools/generatejournal 10000 10000 10 >$@ + data/100000x1000x10.journal: tools/generatejournal tools/generatejournal 100000 1000 10 >$@