diff --git a/misc/git_scripts/git-deep-clean.sh b/misc/git_scripts/git-deep-clean.sh deleted file mode 100644 index 296520a9e3..0000000000 --- a/misc/git_scripts/git-deep-clean.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash - -git clean -f -X \ No newline at end of file diff --git a/misc/git_scripts/git_super_clean.bat b/misc/git_scripts/git_super_clean.bat new file mode 100644 index 0000000000..266b1a9748 --- /dev/null +++ b/misc/git_scripts/git_super_clean.bat @@ -0,0 +1,3 @@ +git reset --hard +git submodule update --init +git clean -fxd \ No newline at end of file diff --git a/misc/git_scripts/git_super_clean.sh b/misc/git_scripts/git_super_clean.sh new file mode 100755 index 0000000000..c10101ae80 --- /dev/null +++ b/misc/git_scripts/git_super_clean.sh @@ -0,0 +1,4 @@ +#!/bin/bash +git reset --hard +git submodule update --init +git clean -fxd \ No newline at end of file