Fix "make cold" on Windows when gcc is available

ocaml · Aug 15, 2023 · 1fd0bc0 · 1fd0bc0
1 parent 8cc4a37
commit 1fd0bc0
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -267,11 +267,9 @@ release-%:
 
 ifeq ($(OCAML_PORT),)
 ifneq ($(COMSPEC),)
-ifeq ($(shell which gcc 2>/dev/null),)
 OCAML_PORT=auto
 endif
 endif
-endif
 
 .PHONY: compiler cold
 compiler:

diff --git a/master_changes.md b/master_changes.md
@@ -66,6 +66,7 @@ users)
 ## Build
   * Remove `bigarray` dependency [#5612 @kit-ty-kate]
   * Remove use of deprecated `Printf.kprintf" [#5612 @kit-ty-kate]
+  * Fix "make cold" on Windows when gcc is available [#5635 @kit-ty-kate - fixes #5600]
 
 ## Infrastructure