From 37fc4e64dfd48da94f0ff00063a04e0304907838 Mon Sep 17 00:00:00 2001 From: Joel Allred Date: Tue, 24 Jul 2018 14:40:55 +0100 Subject: [PATCH] Update jbmc gitignore Correct the paths to the janalyzer and jdiff binaries. --- .gitignore | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.gitignore b/.gitignore index adc42985353..e562affcc75 100644 --- a/.gitignore +++ b/.gitignore @@ -111,10 +111,10 @@ src/clobber/clobber src/clobber/clobber.exe src/big-int/test-bigint src/big-int/test-bigint.exe -jbmc/src/jbmc/janalyzer -jbmc/src/jbmc/janalyzer.exe -jbmc/src/jbmc/jdiff -jbmc/src/jbmc/jdiff.exe +jbmc/src/janalyzer/janalyzer +jbmc/src/janalyzer/janalyzer.exe +jbmc/src/jdiff/jdiff +jbmc/src/jdiff/jdiff.exe jbmc/src/jbmc/jbmc jbmc/src/jbmc/jbmc.exe