Skip to content

Commit aa0af63

Browse files
committed
Add goto-gcc to .gitignore
1 parent ccd97d4 commit aa0af63

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)