From e096f972d08fa32a7f269b7326c05b7eaf065b23 Mon Sep 17 00:00:00 2001
From: Loris Cro <kappaloris@gmail.com>
Date: Fri, 25 Nov 2022 20:19:25 +0100
Subject: [PATCH] ci: windows: use correct windows powershell syntax

---
 .github/workflows/ci.yaml | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 5dec0cc11a..be812f7cea 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -51,7 +51,7 @@ jobs:
       - name: Switch to specific commit
         if: ${{ github.event_name == 'workflow_dispatch' }}
         run: |
-          rf -rf ../ci
+          rm -rf ../ci
           cp -r ci ../
           git checkout ${{ inputs.commit }}
           rm -rf ci
@@ -69,7 +69,7 @@ jobs:
       - name: Switch to specific commit
         if: ${{ github.event_name == 'workflow_dispatch' }}
         run: |
-          rf -rf ../ci
+          rm -rf ../ci
           cp -r ci ../
           git checkout ${{ inputs.commit }}
           rm -rf ci
@@ -87,7 +87,7 @@ jobs:
       - name: Switch to specific commit
         if: ${{ github.event_name == 'workflow_dispatch' }}
         run: |
-          rf -rf ../ci
+          rm -rf ../ci
           cp -r ci ../
           git checkout ${{ inputs.commit }}
           rm -rf ci
@@ -105,10 +105,10 @@ jobs:
       - name: Switch to specific commit
         if: ${{ github.event_name == 'workflow_dispatch' }}
         run: |
-          rf -rf ../ci
-          cp -r ci ../
+          del -r ../ci
+          cp  ci ../
           git checkout ${{ inputs.commit }}
-          rm -rf ci
+          del -r ci
           mv ../ci .
       - name: Build and Test
         run: ./ci/windows/build.ps1
@@ -121,7 +121,7 @@ jobs:
       - name: Switch to specific commit
         if: ${{ github.event_name == 'workflow_dispatch' }}
         run: |
-          rf -rf ../ci
+          rm -rf ../ci
           cp -r ci ../
           git checkout ${{ inputs.commit }}
           rm -rf ci
@@ -139,7 +139,7 @@ jobs:
       - name: Switch to specific commit
         if: ${{ github.event_name == 'workflow_dispatch' }}
         run: |
-          rf -rf ../ci
+          rm -rf ../ci
           cp -r ci ../
           git checkout ${{ inputs.commit }}
           rm -rf ci