remove other un-needed files #2401
Merged
Add this suggestion to a batch that can be applied as a single commit. This suggestion is invalid because no changes were made to the code. Suggestions cannot be applied while the pull request is closed. Suggestions cannot be applied while viewing a subset of changes. Only one suggestion per line can be applied in a batch. Add this suggestion to a batch that can be applied as a single commit. Applying suggestions on deleted lines is not supported. You must change the existing code in this line in order to create a valid suggestion. Outdated suggestions cannot be applied. This suggestion has been applied or marked resolved. Suggestions cannot be applied from pending reviews. Suggestions cannot be applied on multi-line comments. Suggestions cannot be applied while the pull request is queued to merge. Suggestion cannot be applied right now. Please check back later.
Remove un-needed files, which are not mentioned in any Makefile or not included in any other src files.
First, in kaldi/src/ directory and its subdirectories, the following shell script finds out all candidates which are *.cc or *.h files whose basic file names (without the extension) are not mentioned in any of the following:
find-non-used.txt (change extention to .sh and chmod+x before use)
Here are 6 files we found:
Second, we use the following script to double-check the candidates and see if they are referenced by others but not explicitly mentioned in Makefiles:
grep -r base_name kaldi/src/The "false-positives" are those marked by "----x".
At last, we remove the remaining 3 files.