1 files changed, 3 insertions, 0 deletions
diff --git a/build b/build
index 26237b705b..96f2a07433 100755
--- a/build
+++ b/build
@@ -16,6 +16,9 @@ ocb()
 
 rule() {
   case $1 in
+    win32)  check_config
+            sed -i 's/let arch = .*$/let arch = "win32"/' config/coq_config.ml && \
+	    $OCAMLBUILD toplevel/coqtop.native plugins/pluginsopt.otarget;;
     clean)  ocb -clean && rm -rf bin/* && rm -f myocamlbuild_config.ml;;
     all)    ocb coq.otarget;;
     *)      ocb $1;;