Skip to content

Commit 4991427

Browse files
me-no-devme-no-dev
committed
Fix build for linux
1 parent 1cdc70d commit 4991427

File tree

7 files changed

+104
-57
lines changed

7 files changed

+104
-57
lines changed

‎README.md

+2
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
11
#ESP32 Arduino Lib Builder
22

33
This repository contains the scripts that produce the libraries included with esp32-arduino.
4+
5+
Requires: python, make, libncurses-dev, flex, bison and gperf

‎build.sh

+34
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,55 @@
11
#!/bin/bash
22

3+
if ! [ -x "$(command -v python)" ]; then
4+
echo "ERROR: python is not installed! Please install python first."
5+
exit 1
6+
fi
7+
8+
if ! [ -x "$(command -v git)" ]; then
9+
echo "ERROR: git is not installed! Please install git first."
10+
exit 1
11+
fi
12+
313
if ! [ -x "$(command -v make)" ]; then
414
echo "ERROR: Make is not installed! Please install Make first."
515
exit 1
616
fi
717

18+
if ! [ -x "$(command -v flex)" ]; then
19+
echo "ERROR: flex is not installed! Please install flex first."
20+
exit 1
21+
fi
22+
23+
if ! [ -x "$(command -v bison)" ]; then
24+
echo "ERROR: bison is not installed! Please install bison first."
25+
exit 1
26+
fi
27+
28+
if ! [ -x "$(command -v gperf)" ]; then
29+
echo "ERROR: gperf is not installed! Please install gperf first."
30+
exit 1
31+
fi
32+
33+
if ! [ -x "$(command -v stat)" ]; then
34+
echo "ERROR: stat is not installed! Please install stat first."
35+
exit 1
36+
fi
37+
838
#install esp-idf and gcc toolchain
939
source ./tools/install-esp-idf.sh
40+
if [ $? -ne 0 ]; then exit 1; fi
1041

1142
#update components from git
1243
./tools/update-components.sh
44+
if [ $? -ne 0 ]; then exit 1; fi
1345

1446
#build and prepare libs
1547
./tools/build-libs.sh
48+
if [ $? -ne 0 ]; then exit 1; fi
1649

1750
#bootloader
1851
./tools/build-bootloaders.sh
52+
if [ $? -ne 0 ]; then exit 1; fi
1953

2054
#POST Build
2155
#./tools/copy-to-arduino.sh

‎tools/build-bootloaders.sh

+41-41
Original file line numberDiff line numberDiff line change
@@ -3,90 +3,90 @@ source ./tools/config.sh
33
TARGET_PATH=$AR_SDK/bin
44
mkdir -p $TARGET_PATH || exit 1
55

6-
gsed -i '/CONFIG_ESP32_DEFAULT_CPU_FREQ_80/c\CONFIG_ESP32_DEFAULT_CPU_FREQ_80=' ./sdkconfig
7-
gsed -i '/CONFIG_ESP32_DEFAULT_CPU_FREQ_160/c\CONFIG_ESP32_DEFAULT_CPU_FREQ_160=y' ./sdkconfig
8-
gsed -i '/CONFIG_ESP32_DEFAULT_CPU_FREQ_240/c\CONFIG_ESP32_DEFAULT_CPU_FREQ_240=' ./sdkconfig
9-
gsed -i '/CONFIG_ESP32_DEFAULT_CPU_FREQ_MHZ/c\CONFIG_ESP32_DEFAULT_CPU_FREQ_MHZ=160' ./sdkconfig
6+
$SED -i '/CONFIG_ESP32_DEFAULT_CPU_FREQ_80/c\CONFIG_ESP32_DEFAULT_CPU_FREQ_80=' ./sdkconfig
7+
$SED -i '/CONFIG_ESP32_DEFAULT_CPU_FREQ_160/c\CONFIG_ESP32_DEFAULT_CPU_FREQ_160=y' ./sdkconfig
8+
$SED -i '/CONFIG_ESP32_DEFAULT_CPU_FREQ_240/c\CONFIG_ESP32_DEFAULT_CPU_FREQ_240=' ./sdkconfig
9+
$SED -i '/CONFIG_ESP32_DEFAULT_CPU_FREQ_MHZ/c\CONFIG_ESP32_DEFAULT_CPU_FREQ_MHZ=160' ./sdkconfig
1010

11-
gsed -i '/CONFIG_ESPTOOLPY_FLASHFREQ_80M/c\CONFIG_ESPTOOLPY_FLASHFREQ_80M=y' ./sdkconfig
12-
gsed -i '/CONFIG_ESPTOOLPY_FLASHFREQ_40M/c\CONFIG_ESPTOOLPY_FLASHFREQ_40M=' ./sdkconfig
11+
$SED -i '/CONFIG_ESPTOOLPY_FLASHFREQ_80M/c\CONFIG_ESPTOOLPY_FLASHFREQ_80M=y' ./sdkconfig
12+
$SED -i '/CONFIG_ESPTOOLPY_FLASHFREQ_40M/c\CONFIG_ESPTOOLPY_FLASHFREQ_40M=' ./sdkconfig
1313

14-
gsed -i '/CONFIG_SPIRAM_SPEED_40M/c\CONFIG_SPIRAM_SPEED_40M=' ./sdkconfig
14+
$SED -i '/CONFIG_SPIRAM_SPEED_40M/c\CONFIG_SPIRAM_SPEED_40M=' ./sdkconfig
1515
echo "CONFIG_SPIRAM_SPEED_80M=y" >> ./sdkconfig
1616
echo "CONFIG_BOOTLOADER_SPI_WP_PIN=7" >> ./sdkconfig
1717
echo "CONFIG_SPIRAM_OCCUPY_VSPI_HOST=" >> ./sdkconfig
1818
echo "CONFIG_SPIRAM_OCCUPY_HSPI_HOST=y" >> ./sdkconfig
1919

20-
gsed -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=y' ./sdkconfig
21-
gsed -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=' ./sdkconfig
22-
gsed -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=' ./sdkconfig
23-
gsed -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=' ./sdkconfig
20+
$SED -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=y' ./sdkconfig
21+
$SED -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=' ./sdkconfig
22+
$SED -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=' ./sdkconfig
23+
$SED -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=' ./sdkconfig
2424
echo "******** BUILDING BOOTLOADER QIO 80MHz *******"
2525
make -j8 bootloader || exit 1
2626
cp build/bootloader/bootloader.bin $TARGET_PATH/bootloader_qio_80m.bin
2727

28-
gsed -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=' ./sdkconfig
29-
gsed -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=y' ./sdkconfig
30-
gsed -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=' ./sdkconfig
31-
gsed -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=' ./sdkconfig
28+
$SED -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=' ./sdkconfig
29+
$SED -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=y' ./sdkconfig
30+
$SED -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=' ./sdkconfig
31+
$SED -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=' ./sdkconfig
3232
echo "******** BUILDING BOOTLOADER QOUT 80MHz *******"
3333
make -j8 bootloader || exit 1
3434
cp build/bootloader/bootloader.bin $TARGET_PATH/bootloader_qout_80m.bin
3535

3636
echo "CONFIG_SPIRAM_SPIWP_SD3_PIN=7" >> ./sdkconfig
3737

38-
gsed -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=' ./sdkconfig
39-
gsed -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=' ./sdkconfig
40-
gsed -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=y' ./sdkconfig
41-
gsed -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=' ./sdkconfig
38+
$SED -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=' ./sdkconfig
39+
$SED -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=' ./sdkconfig
40+
$SED -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=y' ./sdkconfig
41+
$SED -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=' ./sdkconfig
4242
echo "******** BUILDING BOOTLOADER DIO 80MHz *******"
4343
make -j8 bootloader || exit 1
4444
cp build/bootloader/bootloader.bin $TARGET_PATH/bootloader_dio_80m.bin
4545

46-
gsed -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=' ./sdkconfig
47-
gsed -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=' ./sdkconfig
48-
gsed -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=' ./sdkconfig
49-
gsed -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=y' ./sdkconfig
46+
$SED -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=' ./sdkconfig
47+
$SED -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=' ./sdkconfig
48+
$SED -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=' ./sdkconfig
49+
$SED -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=y' ./sdkconfig
5050
echo "******** BUILDING BOOTLOADER DOUT 80MHz *******"
5151
make -j8 bootloader || exit 1
5252
cp build/bootloader/bootloader.bin $TARGET_PATH/bootloader_dout_80m.bin
5353

54-
gsed -i '/CONFIG_ESPTOOLPY_FLASHFREQ_80M/c\CONFIG_ESPTOOLPY_FLASHFREQ_80M=' ./sdkconfig
55-
gsed -i '/CONFIG_ESPTOOLPY_FLASHFREQ_40M/c\CONFIG_ESPTOOLPY_FLASHFREQ_40M=y' ./sdkconfig
54+
$SED -i '/CONFIG_ESPTOOLPY_FLASHFREQ_80M/c\CONFIG_ESPTOOLPY_FLASHFREQ_80M=' ./sdkconfig
55+
$SED -i '/CONFIG_ESPTOOLPY_FLASHFREQ_40M/c\CONFIG_ESPTOOLPY_FLASHFREQ_40M=y' ./sdkconfig
5656

5757
echo "CONFIG_BOOTLOADER_SPI_WP_PIN=7" >> ./sdkconfig
5858
echo "CONFIG_BOOTLOADER_VDDSDIO_BOOST_1_8V=" >> ./sdkconfig
5959

60-
gsed -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=y' ./sdkconfig
61-
gsed -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=' ./sdkconfig
62-
gsed -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=' ./sdkconfig
63-
gsed -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=' ./sdkconfig
60+
$SED -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=y' ./sdkconfig
61+
$SED -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=' ./sdkconfig
62+
$SED -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=' ./sdkconfig
63+
$SED -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=' ./sdkconfig
6464
echo "******** BUILDING BOOTLOADER QIO 40MHz *******"
6565
make -j8 bootloader || exit 1
6666
cp build/bootloader/bootloader.bin $TARGET_PATH/bootloader_qio_40m.bin
6767

68-
gsed -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=' ./sdkconfig
69-
gsed -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=y' ./sdkconfig
70-
gsed -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=' ./sdkconfig
71-
gsed -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=' ./sdkconfig
68+
$SED -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=' ./sdkconfig
69+
$SED -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=y' ./sdkconfig
70+
$SED -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=' ./sdkconfig
71+
$SED -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=' ./sdkconfig
7272
echo "******** BUILDING BOOTLOADER QOUT 40MHz *******"
7373
make -j8 bootloader || exit 1
7474
cp build/bootloader/bootloader.bin $TARGET_PATH/bootloader_qout_40m.bin
7575

7676
echo "CONFIG_SPIRAM_SPIWP_SD3_PIN=7" >> ./sdkconfig
7777

78-
gsed -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=' ./sdkconfig
79-
gsed -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=' ./sdkconfig
80-
gsed -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=y' ./sdkconfig
81-
gsed -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=' ./sdkconfig
78+
$SED -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=' ./sdkconfig
79+
$SED -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=' ./sdkconfig
80+
$SED -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=y' ./sdkconfig
81+
$SED -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=' ./sdkconfig
8282
echo "******** BUILDING BOOTLOADER DIO 40MHz *******"
8383
make -j8 bootloader || exit 1
8484
cp build/bootloader/bootloader.bin $TARGET_PATH/bootloader_dio_40m.bin
8585

86-
gsed -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=' ./sdkconfig
87-
gsed -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=' ./sdkconfig
88-
gsed -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=' ./sdkconfig
89-
gsed -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=y' ./sdkconfig
86+
$SED -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=' ./sdkconfig
87+
$SED -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=' ./sdkconfig
88+
$SED -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=' ./sdkconfig
89+
$SED -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=y' ./sdkconfig
9090
echo "******** BUILDING BOOTLOADER DOUT 40MHz *******"
9191
make -j8 bootloader || exit 1
9292
cp build/bootloader/bootloader.bin $TARGET_PATH/bootloader_dout_40m.bin

‎tools/build-libs.sh

+8-8
Original file line numberDiff line numberDiff line change
@@ -4,15 +4,15 @@
44
rm -rf ./out ./build
55

66
# ensure proper settings
7-
gsed -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=' ./sdkconfig
8-
gsed -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=' ./sdkconfig
9-
gsed -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=y' ./sdkconfig
10-
gsed -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=' ./sdkconfig
7+
$SED -i '/CONFIG_FLASHMODE_QIO/c\CONFIG_FLASHMODE_QIO=' ./sdkconfig
8+
$SED -i '/CONFIG_FLASHMODE_QOUT/c\CONFIG_FLASHMODE_QOUT=' ./sdkconfig
9+
$SED -i '/CONFIG_FLASHMODE_DIO/c\CONFIG_FLASHMODE_DIO=y' ./sdkconfig
10+
$SED -i '/CONFIG_FLASHMODE_DOUT/c\CONFIG_FLASHMODE_DOUT=' ./sdkconfig
1111

12-
gsed -i '/CONFIG_ESP32_DEFAULT_CPU_FREQ_80/c\CONFIG_ESP32_DEFAULT_CPU_FREQ_80=' ./sdkconfig
13-
gsed -i '/CONFIG_ESP32_DEFAULT_CPU_FREQ_160/c\CONFIG_ESP32_DEFAULT_CPU_FREQ_160=' ./sdkconfig
14-
gsed -i '/CONFIG_ESP32_DEFAULT_CPU_FREQ_240/c\CONFIG_ESP32_DEFAULT_CPU_FREQ_240=y' ./sdkconfig
15-
gsed -i '/CONFIG_ESP32_DEFAULT_CPU_FREQ_MHZ/c\CONFIG_ESP32_DEFAULT_CPU_FREQ_MHZ=240' ./sdkconfig
12+
$SED -i '/CONFIG_ESP32_DEFAULT_CPU_FREQ_80/c\CONFIG_ESP32_DEFAULT_CPU_FREQ_80=' ./sdkconfig
13+
$SED -i '/CONFIG_ESP32_DEFAULT_CPU_FREQ_160/c\CONFIG_ESP32_DEFAULT_CPU_FREQ_160=' ./sdkconfig
14+
$SED -i '/CONFIG_ESP32_DEFAULT_CPU_FREQ_240/c\CONFIG_ESP32_DEFAULT_CPU_FREQ_240=y' ./sdkconfig
15+
$SED -i '/CONFIG_ESP32_DEFAULT_CPU_FREQ_MHZ/c\CONFIG_ESP32_DEFAULT_CPU_FREQ_MHZ=240' ./sdkconfig
1616

1717
# make the example
1818
make -j8 #fixes make issue where build fails in arduino core subfolder

‎tools/config.sh

+8
Original file line numberDiff line numberDiff line change
@@ -48,3 +48,11 @@ function get_os(){
4848
}
4949

5050
AR_OS=`get_os`
51+
52+
export SED="sed"
53+
export SSTAT="stat -c %s"
54+
55+
if [[ "$AR_OS" == "macos" ]]; then
56+
export SED="gsed"
57+
export SSTAT="stat -f %z"
58+
fi

‎tools/install-esp-idf.sh

+6
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,11 @@
22

33
source ./tools/config.sh
44

5+
if ! [ -x "$(command -v $SED)" ]; then
6+
echo "ERROR: $SED is not installed! Please install $SED first."
7+
exit 1
8+
fi
9+
510
if [ -z "$IDF_PATH" ]; then
611
echo "ESP-IDF is not installed! Installing local copy"
712
if ! [ -d esp-idf ]; then
@@ -11,6 +16,7 @@ if [ -z "$IDF_PATH" ]; then
1116
cd $IDF_PATH
1217
git fetch origin && git pull origin $IDF_BRANCH
1318
git submodule update --init --recursive
19+
python -m pip install --user -r requirements.txt
1420
cd "$AR_ROOT"
1521
fi
1622

‎tools/prepare-libs.sh

+5-8
Original file line numberDiff line numberDiff line change
@@ -57,8 +57,7 @@ minlsize=8
5757
#idf libs
5858
mkdir -p $AR_SDK/lib && \
5959
for lib in `find $IDF_COMPS -name '*.a' | grep -v libg | grep -v libc_rom | grep -v workaround | grep -v libc-minusrom`; do
60-
lsize=$(stat -f %z "$lib")
61-
#lsize=$(stat -c %s "$lib")
60+
lsize=$($SSTAT "$lib")
6261
if (( lsize > minlsize )); then
6362
cp -f $lib $AR_SDK/lib/
6463
else
@@ -68,8 +67,7 @@ done
6867

6968
#component libs
7069
for lib in `find components -name '*.a' | grep -v arduino`; do
71-
lsize=$(stat -f %z "$lib")
72-
#lsize=$(stat -c %s "$lib")
70+
lsize=$($SSTAT "$lib")
7371
if (( lsize > minlsize )); then
7472
cp -f $lib $AR_SDK/lib/
7573
else
@@ -79,8 +77,7 @@ done
7977

8078
#compiled libs
8179
for lib in `find build -name '*.a' | grep -v bootloader | grep -v libmain | grep -v idf_test | grep -v aws_iot | grep -v libmicro | grep -v libarduino`; do
82-
lsize=$(stat -f %z "$lib")
83-
#lsize=$(stat -c %s "$lib")
80+
lsize=$($SSTAT "$lib")
8481
if (( lsize > minlsize )); then
8582
cp -f $lib $AR_SDK/lib/
8683
else
@@ -121,9 +118,9 @@ rm 1pio_end.txt
121118

122119
#arduino platform.txt
123120
awk "/compiler.cpreprocessor.flags\=/{n++}{print>n\"platform_start.txt\"}" $AR_COMPS/arduino/platform.txt
124-
gsed -i '/compiler.cpreprocessor.flags\=/d' 1platform_start.txt
121+
$SED -i '/compiler.cpreprocessor.flags\=/d' 1platform_start.txt
125122
awk "/compiler.c.elf.libs\=/{n++}{print>n\"platform_mid.txt\"}" 1platform_start.txt
126-
gsed -i '/compiler.c.elf.libs\=/d' 1platform_mid.txt
123+
$SED -i '/compiler.c.elf.libs\=/d' 1platform_mid.txt
127124
rm 1platform_start.txt
128125
cat platform_start.txt > "$AR_PLATFORM_TXT"
129126
echo "compiler.cpreprocessor.flags=$AR_INC" >> "$AR_PLATFORM_TXT"

0 commit comments

Comments
 (0)