Merge pull request #31 from bentley/posix-rm

Remove non-POSIX 'rm -v'.
This commit is contained in:
Clifford Wolf 2014-04-05 02:56:28 +02:00
commit 6ef2224331
3 changed files with 6 additions and 6 deletions

View File

@ -176,11 +176,11 @@ manual: $(TARGETS) $(EXTRA_TARGETS)
cd manual && bash manual.sh
clean:
rm -rvf share
rm -rf share
cd manual && bash clean.sh
rm -vf $(OBJS) $(GENFILES) $(TARGETS) $(EXTRA_TARGETS)
rm -vf kernel/version_*.o kernel/version_*.cc abc/abc-[0-9a-f]*
rm -vf libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d techlibs/*/*.d
rm -f $(OBJS) $(GENFILES) $(TARGETS) $(EXTRA_TARGETS)
rm -f kernel/version_*.o kernel/version_*.cc abc/abc-[0-9a-f]*
rm -f libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d techlibs/*/*.d
test ! -f libs/svgviewer/Makefile || make -C libs/svgviewer distclean
mrproper: clean

View File

@ -1,6 +1,6 @@
#!/bin/bash
rm -fv LICENSE *.cc *.h
rm -f LICENSE *.cc *.h
git clone --depth 1 https://github.com/niklasso/minisat minisat_upstream
rm minisat_upstream/minisat/*/Main.cc
mv minisat_upstream/LICENSE minisat_upstream/minisat/*/*.{h,cc} .

View File

@ -1,2 +1,2 @@
#!/bin/bash
for f in $( find -name .gitignore ); do sed -re "s,^,find ${f%.gitignore} -name ',; s,$,' | xargs -r rm -vf,;" $f; done | bash -v
for f in $( find . -name .gitignore ); do sed -re "s,^,find ${f%.gitignore} -name ',; s,$,' | xargs -r rm -f,;" $f; done | bash -v