Merge pull request #2234 from frol/patch-1

[Makefile] Fixed a bug in partialclean target
master
Nicolás Ojeda Bär 2019-02-04 00:14:23 +01:00 committed by GitHub
commit b287ff44eb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -1328,7 +1328,7 @@ partialclean::
for d in utils parsing typing bytecomp asmcomp middle_end \
middle_end/base_types asmcomp/debug driver toplevel tools; do \
rm -f $$d/*.cm[ioxt] $$d/*.cmti $$d/*.annot $$d/*.$(S) \
$$d/*.$(O) $$d/*.$(SO) $d/*~; \
$$d/*.$(O) $$d/*.$(SO) $$d/*~; \
done
rm -f *~