Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 6c63aa99 authored by Nicolás Ojeda Bär's avatar Nicolás Ojeda Bär Committed by POTTIER Francois
Browse files

Small Cygwin fix

parent 5482ac13
...@@ -202,7 +202,7 @@ install: ...@@ -202,7 +202,7 @@ install:
fi fi
uninstall: uninstall:
@if `$(bindir)/menhir$(EXE) --suggest-ocamlfind` ; then \ @if `$(bindir)/menhir$(EXE) --suggest-ocamlfind | tr -d '\r'` ; then \
echo 'Un-installing MenhirLib and MenhirSdk via ocamlfind.' ; \ echo 'Un-installing MenhirLib and MenhirSdk via ocamlfind.' ; \
ocamlfind remove menhirLib ; \ ocamlfind remove menhirLib ; \
ocamlfind remove menhirSdk ; \ ocamlfind remove menhirSdk ; \
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment