Skip to content
Snippets Groups Projects
Commit f2bff4f0 authored by Santiago Ospina De Los Ríos's avatar Santiago Ospina De Los Ríos
Browse files

Try with an unaccurate eof

parent e10a2a5e
No related branches found
No related tags found
1 merge request!49Resolve "Finish installation and usage instruction on the documentation"
......@@ -159,7 +159,7 @@ for module in $MODULES; do
# apply patches
if [[ ! -z $PATCHES ]]; then
echo "Applying patches: $PATCHES"
git -C dune-$module apply -v --unsafe-paths $PATCHES
git -C dune-$module apply -v --inaccurate-eof --unsafe-paths $PATCHES
fi
echo ""
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment