Skip to content

Commit a4bfb6d

Browse files
committed
Retitle Windows section to indicate cygwin usage
To distance this section from the comparitively well-maintained Visual Studio 2019 with cmake build.
1 parent a295f90 commit a4bfb6d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

COMPILING.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -198,7 +198,7 @@ Follow these instructions:
198198
make -C jbmc/src
199199
```
200200
201-
## COMPILATION ON WINDOWS
201+
## COMPILATION ON WINDOWS WITH CYGWIN
202202
203203
There are two options: the Visual Studio compiler with version 14 (2015) or
204204
later, or the MinGW cross compiler with version 5.4 or later.

0 commit comments

Comments
 (0)