diff options
Diffstat (limited to 'Ports/.port_include.sh')
| -rwxr-xr-x | Ports/.port_include.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh index 1a5de96130..50f3f7ca3b 100755 --- a/Ports/.port_include.sh +++ b/Ports/.port_include.sh @@ -35,6 +35,7 @@ function run_fetch_git() { if [ -d "$PORT_DIR/.git" ]; then run_command git fetch run_command git reset --hard FETCH_HEAD + run_command git clean -fx else run_command_nocd git clone "$1" "$PORT_DIR" fi |