diff options
| author | TiejunZhou <[email protected]> | 2023-06-21 18:23:36 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-06-21 18:23:36 +0800 |
| commit | 08380caa7792f917d2e24cfae22df8796487ac5b (patch) | |
| tree | 585e974c851a16a409c1db112881ab92d4babacd /.github/workflows | |
| parent | 1b2995cea8aecd46c8bc012f2605dea6142bec01 (diff) | |
Unify ThreadX and SMP for ARMv8-A. (#275)
* Unify ThreadX and SMP for ARMv8-A.
* Fix path in pipeline to check ports arch.
* Add ignore folders for ARM DS
* Generate ThreadX and SMP ports for ARMv8-A.
* Ignore untracked files for ports_arch check.
* Use arch instead of CPU to simplify the project management.
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ports_arch_check.yml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.github/workflows/ports_arch_check.yml b/.github/workflows/ports_arch_check.yml index 9e34b1d9..4a99c032 100644 --- a/.github/workflows/ports_arch_check.yml +++ b/.github/workflows/ports_arch_check.yml @@ -37,7 +37,7 @@ jobs: - name: Copy ports arch run: | scripts/copy_armv7_m.sh && scripts/copy_armv8_m.sh && scripts/copy_module_armv7_m.sh - if [[ -n $(git status --porcelain) ]]; then + if [[ -n $(git status --porcelain -uno) ]]; then echo "Ports for ARM architecture is not updated" git status exit 1 @@ -61,7 +61,9 @@ jobs: run: | cd ports_arch/ARMv7-A pwsh -Command ./update.ps1 -PortSets tx -CopyCommonFiles -CopyPortFiles -CopyExample -PatchFiles - if ((git status --porcelain) -ne $null) { + cd ../../ports_arch/ARMv8-A + pwsh -Command ./update.ps1 -PortSets tx,tx_smp -CopyCommonFiles -CopyPortFiles -CopyExample -PatchFiles + if ((git status --porcelain -uno) -ne $null) { Write-Host "Ports for ARM architecture is not updated" git status Exit 1 |