len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-12 14:45:09 -05:00
Code Issues Projects Releases Packages Wiki Activity

Deleted deprecated files.

Browse source
This commit is contained in:
Tobias Reinhard 2022-12-12 10:21:29 -05:00
parent 574cc7e42e
commit 5fcf51f090
1 changed files with 0 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

22
Test/VeriFast/tasks/vTaskSwitchContext/custom_build_scripts_RP2040/build_full.sh
View file

@ -1,22 +0,0 @@
#!/bin/zsh
ps -o comm= -p $$
CURRENT_DIR=`pwd`
DEMO_DIR="../demos/FreeRTOS-SMP-Demos/FreeRTOS/Demo/CORTEX_M0+_RP2040"
LOG_DIR="`pwd`/build_logs"
BUILD_LOG="$LOG_DIR/build_log--`date +'%y_%m_%d--%H_%M'`.txt"
export CC=/usr/bin/clang
export CQQ=/usr/bin/clang++
mkdir $LOG_DIR
cd $DEMO_DIR
rm -rf build
mkdir build
cd build
cmake .. &>$BUILD_LOG
echo "\ncmake finished\n"
make VERBOSE=1 &>>$BUILD_LOG
echo "\nmake finished\n"