diff options
| author | gumi <git@gumi.ca> | 2019-04-12 11:55:18 -0400 |
|---|---|---|
| committer | gumi <git@gumi.ca> | 2019-04-12 11:55:18 -0400 |
| commit | 8c75e651f00048dda32db85b2bff34e131960864 (patch) | |
| tree | e2e63a34e6bf6e435c9e9be237b9967932c67e0a | |
| parent | 9f729be0833307c17e832db911389e8e8165e0bc (diff) | |
| download | evol-tools-8c75e651f00048dda32db85b2bff34e131960864.tar.gz evol-tools-8c75e651f00048dda32db85b2bff34e131960864.tar.bz2 evol-tools-8c75e651f00048dda32db85b2bff34e131960864.tar.xz evol-tools-8c75e651f00048dda32db85b2bff34e131960864.zip | |
[wrapper] clean extra directories
| -rw-r--r-- | herculeswrapper/include.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/herculeswrapper/include.sh b/herculeswrapper/include.sh index f48e765..697b7ea 100644 --- a/herculeswrapper/include.sh +++ b/herculeswrapper/include.sh @@ -45,7 +45,7 @@ function hard_reset { echo ${1}: hard reset git fetch upstream git reset --hard upstream/master - git clean -f + git clean -fd # the following should be unnecessary, but just in case: git checkout --detach git branch -D master |