Skip to content

Commit 7811855

Browse files
authored
Merge pull request #4115 from NlightNFotis/goto-gcc-gitignore
[TRIVIAL] Add goto-gcc to .gitignore
2 parents 2dc0863 + aa0af63 commit 7811855

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -99,6 +99,7 @@ src/cbmc/cbmc.exe
9999
src/goto-analyzer/goto-analyzer
100100
src/goto-analyzer/goto-analyzer.exe
101101
src/goto-cc/goto-cc
102+
src/goto-cc/goto-gcc
102103
src/goto-cc/goto-cc.exe
103104
src/goto-cc/goto-cl.exe
104105
src/goto-instrument/goto-instrument

0 commit comments

Comments
 (0)