Update backend/build.sh; in util/update.sh don't exit when fetching artifacts...

Update backend/build.sh; in util/update.sh don't exit when fetching artifacts from backend does not succeed (due to set -e)

backend/Makefile

@@ -11,9 +11,6 @@ CLMFLAGS_BOOTSTRAP:=-h 250M -nr -nortsopts\
 	-I Cloogle\
 	-I Cloogle/libcloogle\
 	-I Cloogle/CleanRegex
-ifeq "$(shell expr `gcc -dumpversion | cut -f1 -d.` \>= 6)" "1"
-	CLMFLAGS_BOOTSTRAP+=-l -no-pie
-endif
 CLMFLAGS:=$(CLMFLAGS_BOOTSTRAP) -funcmayfail
 CLMLIBS_COMPILER:=\
 	-I Cloogle/compiler/frontend\

backend/build.sh

@@ -15,9 +15,10 @@ if [ ! -f libs.json ]; then ln -s ../libs.json; fi
 ./CloogleServer --rank-settings-constraints rank_settings_constraints.json > rank_settings.json
 
 rm -rf \
+	Builtin \
 	Cloogle \
+	Util \
 	Clean\ System\ Files \
-	clean-compiler \
 	*.dcl *.icl \
 	Dockerfile \
 	Makefile \

util/update.sh

@@ -89,9 +89,9 @@ if [[ "$RELEASE_DIRECTORY" != "" ]]; then
 	sed 's/\x1b\[[0-9;]*m//g' /tmp/cloogle-build.log \
 		| sed -n '/^\.\/builddb /{:a;n;/^Execution: /{p;b};p;ba}' \
 		> "$THIS_RELEASE/build-log.txt"
-	timeout -k 10 10 sudo docker-compose exec -T backend cat rank_settings.json > "$THIS_RELEASE/rank_settings.json"
-	timeout -k 10 10 sudo docker-compose exec -T backend cat types.json > "$THIS_RELEASE/types.json"
-	timeout -k 10 10 sudo docker-compose exec -T backend cat typetree.dot > "$THIS_RELEASE/typetree.dot"
+	timeout -k 10 10 sudo docker-compose exec -T backend cat rank_settings.json > "$THIS_RELEASE/rank_settings.json" || echo "could not publish rank settings"
+	timeout -k 10 10 sudo docker-compose exec -T backend cat types.json > "$THIS_RELEASE/types.json" || echo "could not publish database"
+	timeout -k 10 10 sudo docker-compose exec -T backend cat typetree.dot > "$THIS_RELEASE/typetree.dot" || echo "could not publish type tree"
 fi
 echo -en "\033[0m"
 echo "--> Cloogle build succeeded."