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

Try to remove quotations

parent 0b6c0c3c
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 @ 4f07c32a
......@@ -93,7 +93,7 @@ done
CMAKE_INSTALL_PREFIX=${CMAKE_INSTALL_PREFIX#=}
CMAKE_INSTALL_PREFIX=${CMAKE_INSTALL_PREFIX#:PATH=}
# remove quotations
CMAKE_INSTALL_PREFIX=$(echo $CMAKE_INSTALL_PREFIX | tr -d "'")
CMAKE_INSTALL_PREFIX=$(echo $CMAKE_INSTALL_PREFIX | tr -d "'" | tr -d "\'")
[ -z $CMAKE_INSTALL_PREFIX ] && ONFAILURE_MESSAGE+="Options file **shall** provide a CMAKE_INSTALL_PREFIX\n" && exit 1
......
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