From 6a57dc92e2deeb06c2c86a2fe10cb6f75df1bd1b Mon Sep 17 00:00:00 2001 From: Jordan Brown Date: Thu, 21 May 2020 10:51:42 -0400 Subject: [PATCH] Need to force remove .git directory --- build/build_dox.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/build_dox.sh b/build/build_dox.sh index 5a42249798..4585d7d8ac 100755 --- a/build/build_dox.sh +++ b/build/build_dox.sh @@ -39,5 +39,5 @@ if [ "$PUBLISH_DOX" = true ] ; then git commit -m "Deploy code docs to GitHub Pages for Travis build $TRAVIS_BUILD_NUMBER" -m "Commit: $TRAVIS_COMMIT" git push -f "https://$TGS4_TEST_GITHUB_TOKEN@$GITHUB_URL" 2>&1 | /dev/null cd "$BUILD_FOLDER" - rm -r "$DOXDIR/.git" + rm -rf "$DOXDIR/.git" fi