GIT_REPO_OVERLAY="git://crux-arm.nu/crux-arm/ports/core-arm.git"
# we used the tag created for CRUX and the first commit hash in CRUX-ARM
-# CRUX-3.0 53d838bfaa820f8398c8f7fb15f84d6800f33abc
-# CRUX-ARM 3.0 5371a9acf3548c955c0d19eed402827a6f1ac44a
-GIT_BRANCH="3.0"
-GIT_COMMIT_HASH_UPSTREAM="53d838bfaa820f8398c8f7fb15f84d6800f33abc"
-GIT_COMMIT_HASH_OVERLAY="5371a9acf3548c955c0d19eed402827a6f1ac44a"
+# CRUX-3.1 8f1b890416501c3a0dd8b565312089896a587962
+# CRUX-ARM 3.1 574c4008c8d63ac004b5196615da9fd29ef0c1d3
+GIT_BRANCH="3.1"
+GIT_COMMIT_HASH_UPSTREAM="8f1b890416501c3a0dd8b565312089896a587962"
+GIT_COMMIT_HASH_OVERLAY="574c4008c8d63ac004b5196615da9fd29ef0c1d3"
PWD_DIR=$(pwd)
TMP_DIR=$(mktemp -d)
cd $TMP_DIR && \
git clone $GIT_REPO_UPSTREAM && \
cd core && \
- git branch $GIT_BRANCH origin/$GIT_BRANCH && \
git checkout $GIT_BRANCH && \
git fetch && \
git reset --hard $GIT_COMMIT_HASH_UPSTREAM && \