# HG changeset patch # User Franz Glasner # Date 1642086200 -3600 # Node ID e8ff899c363cbdbcda8ccfa11dca908626f4fbcc # Parent 794082c71f73adad09ad495d868cfbdd9937dbeb FIX: Hostname in BUILDING diff -r 794082c71f73 -r e8ff899c363c BUILDING.txt --- a/BUILDING.txt Thu Jan 13 15:20:30 2022 +0100 +++ b/BUILDING.txt Thu Jan 13 16:03:20 2022 +0100 @@ -22,7 +22,7 @@ a) Make the Ninja build-file for your system: - sh windows-dev/pc01/cross.sh + sh windows-dev/pc03/cross.sh b) Cross-compile with: