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