Use find -delete for brevity and safety.

This commit is contained in:
Jerry James 2020-01-21 19:45:36 -07:00
parent 4b910a31a7
commit 3b6c1d9171
1 changed files with 1 additions and 1 deletions

View File

@ -75,7 +75,7 @@ rmdir %{buildroot}%{_datadir}/menhir
# Remove demo files we do not want to ship
find demos -name _build -exec rm -fr {} \+
find demos \( -name .merlin -o -name .gitignore \) -exec rm {} \+
find demos \( -name .merlin -o -name .gitignore \) -delete
%files
%doc CHANGES.md README.md doc/manual.pdf demos