.github/workflows/extract-sage-local.sh: Make script usable on non-cy…

…gwin
sagemath · Oct 17, 2021 · 1c40d1c · 1c40d1c
1 parent 63e47ff
commit 1c40d1c
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/extract-sage-local.sh b/.github/workflows/extract-sage-local.sh
@@ -24,4 +24,8 @@ ls -l "$SAGE_LOCAL" "$SAGE_LOCAL"/var/lib/sage/installed/
 df -h
 
 # Rebase!
-exec src/bin/sage-rebase.sh --all "$SAGE_LOCAL"
+case "$(uname)" in
+    CYGWIN*)
+        exec src/bin/sage-rebase.sh --all "$SAGE_LOCAL"
+        ;;
+esac