We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 130f09e commit cd0a53aCopy full SHA for cd0a53a
scripts/get_deps.sh
@@ -1,8 +1,13 @@
1
#!/bin/bash
2
3
AX_ROOT=.arceos
4
-
+COMMIT=c747ba8
5
test ! -d "$AX_ROOT" && echo "Cloning repositories ..." || true
6
-test ! -d "$AX_ROOT" && git clone https://github.com/oscomp/arceos "$AX_ROOT" --depth=1 || true
+test ! -d "$AX_ROOT" && git clone https://github.com/oscomp/arceos "$AX_ROOT" || true
7
+
8
+git -C "$AX_ROOT" reset --hard "$COMMIT" || {
9
+ echo "Failed to reset to commit $COMMIT. Please check the repository."
10
+ exit 1
11
+}
12
13
$(dirname $0)/set_ax_root.sh $AX_ROOT
0 commit comments