From 55fe94b1c598e6df773a4176516a53567901bb2e Mon Sep 17 00:00:00 2001 From: greg7mdp Date: Sun, 31 Mar 2024 22:49:42 -0400 Subject: [PATCH] minor update for running `llil4map` example. --- .gitignore | 1 + examples/llil_utils/run_llil4map | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index fa7dbbc..062d731 100644 --- a/.gitignore +++ b/.gitignore @@ -2,6 +2,7 @@ VagrantFile benchmark/build benchmark/output benchmark/charts.html +examples/llil_utils/tmp build* .vagrant .cache diff --git a/examples/llil_utils/run_llil4map b/examples/llil_utils/run_llil4map index 765600d..6bcd5c5 100755 --- a/examples/llil_utils/run_llil4map +++ b/examples/llil_utils/run_llil4map @@ -1,4 +1,4 @@ #!/bin/bash cd tmp -../../ex_llil4map big* > out.txt \ No newline at end of file +../../ex_llil4map big* big* big* > out.txt \ No newline at end of file