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

Remove extra options

parent 4f8f2259
No related branches found
No related tags found
1 merge request!49Resolve "Finish installation and usage instruction on the documentation"
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
.ci/setup_dune
+ 1
− 1
View file @ 661133ae
......@@ -156,7 +156,7 @@ for module in $MODULES; do
# apply patches
if [[ ! -z $PATCHES ]]; then
echo "Applying patches: $PATCHES"
git -C dune-$module apply -v --inaccurate-eof --unsafe-paths $PATCHES
git -C dune-$module apply -v $PATCHES
fi
echo ""
......
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