fix(bin/scripts): Allow script work with git bash (#3841)

This commit is contained in:
Patrick Lewis
2020-12-02 14:24:20 -08:00
committed by GitHub
parent 8b45f2520d
commit 55af77dbf9

View File

@@ -1,10 +1,14 @@
#!/usr/bin/env bash #!/usr/bin/env bash
sudo rm -rf ./docker/build/cache/CMakeFiles if [ "$(id -u)" != "0" ] && [ "$OSTYPE" != "msys" ] ; then
sudo rm -rf ./docker/build/cache/deps echo "Please run the script with sudo"
sudo rm -rf ./docker/build/cache/src else
sudo rm ./docker/build/cache/*.cmake rm -rf ./docker/build/cache/CMakeFiles
sudo rm ./docker/build/cache/*.txt rm -rf ./docker/build/cache/deps
sudo rm ./docker/build/cache/*.h rm -rf ./docker/build/cache/src
sudo rm ./docker/build/cache/*.cpp rm ./docker/build/cache/*.cmake
sudo rm ./docker/build/cache/Makefile rm ./docker/build/cache/*.txt
rm ./docker/build/cache/*.h
rm ./docker/build/cache/*.cpp
rm ./docker/build/cache/Makefile
fi