Remove clean_for_dist.sh (#997)

clean_for_dist.sh is outdated and mostly refers to files that do not
exist. make clean does the job well
This commit is contained in:
Dexter Chua 2021-01-01 15:56:32 +08:00 committed by GitHub
parent 27e2800120
commit 4502707e4f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 13 deletions

View File

@ -1,13 +0,0 @@
#!/bin/sh
set -e
find . -name "*.o" -type f -delete
find . -name "*.a" -type f -delete
find -type d -name .git -prune -exec rm -rf {} \;
find -type d -name CMakeFiles -prune -exec rm -rf {} \;
rm -rf emsdk/emscripten/incoming/tests
rm -rf emsdk/emsdk/fastcomp-clang/fastcomp/src
rm -rf emsdk/zips
rm -rf emsdk/binaryen/master/test
rm -rf emsdk/.emscripten_cache
rm emsdk/.emscripten_cache.lock
rm emsdk/.emscripten_sanity