Skip to content
Snippets Groups Projects
Commit 5c8e4631 authored by Giovanni Bussi's avatar Giovanni Bussi
Browse files

small fix 

./configure --disable-shared was giving an error upon install
due to a missing file
parent 6b4b02ad
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
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