Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
Iris
Commits
4640477b
Commit
4640477b
authored
Feb 03, 2018
by
Ralf Jung
Browse files
stop overwriting make uninstall
parent
30a36cf2
Pipeline
#6552
passed with stages
in 3 minutes and 42 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Makefile.coq.local
deleted
100644 → 0
View file @
30a36cf2
uninstall
::
@
# This makes sure we also delete stale files in the destination directory
$(HIDE)
df
=
"
$(COQLIBINSTALL)
/
`
$(COQMKFILE)
-destination-of
"theories/base.v"
$(COQLIBS)
`
"
&&
\
echo
"RM in
$$
df"
&&
\
if
[
-d
"
$$
df"
]
;
then
find
"
$$
df"
\(
-name
"*.vo"
-o
-name
"*.v"
-o
-name
"*.glob"
-o
\(
-type
d
-empty
\)
\)
-print
-delete
;
fi
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment