remove-stale-files (de80193308f43d3ae52cd3561e8ba77cd1437311) remove-stale-files (ffa46bbc5892ebba8a95c839dc302cad7f22c209)
1#!/bin/sh
2
3set -e
4
5# When you move, remove or rename generated files, you probably also update
6# .gitignore and cleaning rules in the Makefile. This is the right thing
7# to do. However, people usually do 'git pull', 'git bisect', etc. without
8# running 'make clean'. Then, the stale generated files are left over, often

--- 24 unchanged lines hidden (view full) ---

33rm -f scripts/bin2c
34
35rm -f .scmversion
36
37rm -rf include/ksym
38
39find . -name '*.usyms' | xargs rm -f
40
1#!/bin/sh
2
3set -e
4
5# When you move, remove or rename generated files, you probably also update
6# .gitignore and cleaning rules in the Makefile. This is the right thing
7# to do. However, people usually do 'git pull', 'git bisect', etc. without
8# running 'make clean'. Then, the stale generated files are left over, often

--- 24 unchanged lines hidden (view full) ---

33rm -f scripts/bin2c
34
35rm -f .scmversion
36
37rm -rf include/ksym
38
39find . -name '*.usyms' | xargs rm -f
40
41rm -f binkernel.spec
41rm -f *.spec