Commit 04274365 authored by MARCHE Claude's avatar MARCHE Claude

uninstall: more robust when user is not root

parent b9c031d6
......@@ -1634,7 +1634,7 @@ clean::
##########
clean_old_install::
rm -f /etc/bash_completion.d/why3
if test -d /etc/bash_completion.d -a -w /etc/bash_completion.d; then rm -f /etc/bash_completion.d/why3; fi
install_no_local::
if test -d /etc/bash_completion.d -a -w /etc/bash_completion.d; then cp -f share/bash/why3 /etc/bash_completion.d; fi
......
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