From ac63486c422af0ab76a620a797dbd349d3b0b2c0 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 17 Nov 2018 04:07:49 +0100
Subject: [devtools] Small script to setup overlays automatically

This is very preliminary but you should get the idea. The script tries
to build contribs, then creates a branch and sets the remote properly
as to submit a PR.

Usage example:
```
./dev/tools/create_overlays.sh ejgallego 9999 ltac2 elpi
```

This only works for contributions hosted in github for now.
---
 dev/build/windows/makecoq_mingw.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/build')

diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh
index 71207bb040..0dcabc0b97 100755
--- a/dev/build/windows/makecoq_mingw.sh
+++ b/dev/build/windows/makecoq_mingw.sh
@@ -1645,7 +1645,7 @@ function make_addon_bignums {
 
 function make_addon_equations {
   installer_addon_dependency equations
-  if build_prep_overlay Equations; then
+  if build_prep_overlay equations; then
     installer_addon_section equations "Equations" "Coq plugin for defining functions by equations" ""
     # Note: PATH is automatically saved/restored by build_prep / build_post
     PATH=$COQBIN:$PATH
-- 
cgit v1.2.3