change format of Unicode characters

This makes Azure Pipelines happy.
This commit is contained in:
Ștefan Talpalaru 2019-12-03 22:33:26 +01:00
parent 36e77856d5
commit 45e2e41c1a
No known key found for this signature in database
GPG Key ID: CBF7934204F1B6F9
1 changed files with 2 additions and 1 deletions

View File

@ -34,7 +34,8 @@ build-system-checks:
@[[ -e "$(BUILD_SYSTEM_DIR)/makefiles" ]] || { \ @[[ -e "$(BUILD_SYSTEM_DIR)/makefiles" ]] || { \
echo -e "'$(BUILD_SYSTEM_DIR)/makefiles' not found. Running '$(GIT_SUBMODULE_UPDATE)'.\n"; \ echo -e "'$(BUILD_SYSTEM_DIR)/makefiles' not found. Running '$(GIT_SUBMODULE_UPDATE)'.\n"; \
$(GIT_SUBMODULE_UPDATE); \ $(GIT_SUBMODULE_UPDATE); \
echo -e "\n✔ Successfully fetched all required internal dependencies."; \ CHECKMARK="\xe2\x9c\x94\xef\xb8\x8f"; \
echo -e "\n$${CHECKMARK}$${CHECKMARK}$${CHECKMARK} Successfully fetched all required internal dependencies."; \
echo -e " You should now \e[4mre-run '$(MAKE)' to build Nimbus\e[0m\n"; \ echo -e " You should now \e[4mre-run '$(MAKE)' to build Nimbus\e[0m\n"; \
}; \ }; \
exit 0 exit 0