fetch.ps1 verbose log

simdsoft · Feb 29, 2024 · b411841 · b411841
1 parent b75fcd6
commit b411841
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/1k/build.ps1 b/1k/build.ps1
@@ -203,7 +203,7 @@ $manifest = @{
     gcc          = '9.0.0+';
     cmake        = '3.28.1+';
     ninja        = '1.11.1+';
-    python       = '3.9.0+';
+    python       = '3.8.0+';
     jdk          = '17.0.3+';
     emsdk        = '3.1.51';
     cmdlinetools = '7.0+'; # android cmdlinetools

diff --git a/1k/fetch.ps1 b/1k/fetch.ps1
@@ -102,11 +102,14 @@ if (!$cfg) {
     if ($is_git_repo) {
         $old_rev_hash = $(git -C $lib_src rev-parse HEAD)
 
+        println "old_rev_hash=$old_rev_hash"
         $pred_rev_hash = $(git -C $lib_src rev-parse --verify --quiet "$revision^{}")
+        println "(1)parsed pred_rev_hash: $revision@$pred_rev_hash"
 
         if(!$pred_rev_hash) {
             git -C $lib_src fetch
             $pred_rev_hash = $(git -C $lib_src rev-parse --verify --quiet "$revision^{}")
+            println "(2)parsed pred_rev_hash: $revision@$pred_rev_hash"
             if(!$pred_rev_hash) {
                 throw "Could not found commit hash of $revision"
             }
@@ -116,6 +119,8 @@ if (!$cfg) {
             git -C $lib_src checkout $revision 1>$null 2>$null
 
             $new_rev_hash = $(git -C $lib_src rev-parse HEAD)
+
+            println "checked out to $revision@$new_rev_hash"
 
             if (!$is_rev_modified) {
                 $is_rev_modified = $old_rev_hash -ne $new_rev_hash