Merge branch 'master' into 'master'

fix(Makefile): coloured messages

See merge request redox-os/relibc!920

Makefile

@@ -41,14 +41,14 @@ headers: $(HEADERS_DEPS)
 	cp "openlibm/src"/*.h $(TARGET_HEADERS)
 	@set -e ; \
 	for header in $(HEADERS_UNPARSED); do \
-		echo "\033[0;36;49mWriting Header $$header\033[0m"; \
+		echo -e "\033[0;36;49mWriting Header $$header\033[0m"; \
 		if test -f "src/header/$$header/cbindgen.toml"; then \
 			out=`echo "$$header" | sed 's/_/\//g'`; \
 			out="$(TARGET_HEADERS)/$$out.h"; \
 			cat "src/header/$$header/cbindgen.toml" cbindgen.globdefs.toml \
 				 | cbindgen "src/header/$$header/mod.rs" --config=/dev/stdin --output "$$out"; \
 		fi \
-	done; echo "\033[0;36;49mAll headers written\033[0m";
+	done; echo -e "\033[0;36;49mAll headers written\033[0m";
 
 clean:
 	$(CARGO) clean