diff --git a/build.sh b/build.sh index e1aea02bd8d2d0a2107d8235c0ba965fbc9fd9aa..ddc9c0c112430fb9399fd9bac729c5ac93877a5a 100755 --- a/build.sh +++ b/build.sh @@ -4,9 +4,6 @@ workspace=$1 hostname=$(hostname) branch=$3 -echo "Trying to fix the CI" -rm -rf $1/.git/modules/gdbgui/rebase-merge - echo "Directory: $workspace" echo "Machine: $hostname" echo "Branch name: $branch"