Use a default performance.ini

3 years ago · 69ef0c3df7
parent d2242ca474
commit 69ef0c3df7
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@ -63,7 +63,7 @@ jobs:
           mkdir -p sdcard
           cp -r ./circle-stdlib/libs/circle/boot/* sdcard
           rm -rf sdcard/config*.txt sdcard/README sdcard/Makefile sdcard/armstub sdcard/COPYING.linux
-           cp ./src/config.txt ./src/minidexed.ini ./src/*img sdcard/
+           cp ./src/config.txt ./src/minidexed.ini ./src/*img ./src/performance.ini sdcard/
           echo "usbspeed=full" > sdcard/cmdline.txt
           cd sdcard
           cp ../kernels/* . || true