diff --git a/Makefile b/Makefile
index 9b4579ffd4..d90802a325 100755
--- a/Makefile
+++ b/Makefile
@@ -56,7 +56,7 @@ include $(OR_ROOT)makefiles/Makefile.cpp.mk
 include $(OR_ROOT)makefiles/Makefile.python.mk
 include $(OR_ROOT)makefiles/Makefile.java.mk
 include $(OR_ROOT)makefiles/Makefile.csharp.mk
-include $(OR_ROOT)makefiles/Makefile.fsharp.mk
+#include $(OR_ROOT)makefiles/Makefile.fsharp.mk
 include $(OR_ROOT)makefiles/Makefile.archive.mk
 include $(OR_ROOT)makefiles/Makefile.install.mk