This repository was archived by the owner on Mar 3, 2023. It is now read-only.
File tree 1 file changed +8
-8
lines changed
1 file changed +8
-8
lines changed Original file line number Diff line number Diff line change @@ -37,21 +37,21 @@ echo "Extracting source"
37
37
tar -C . -xzf $SOURCE_TARBALL
38
38
39
39
if [[ " $TARGET_PLATFORM " =~ " ubuntu" ]]; then
40
- CONFIG_PLATFORM=ubuntu
40
+ CONFIG_PLATFORM=ubuntu_nostyle
41
41
elif [[ " $TARGET_PLATFORM " =~ " centos" ]]; then
42
- CONFIG_PLATFORM=centos
42
+ CONFIG_PLATFORM=centos_nostyle
43
43
elif [[ " $TARGET_PLATFORM " =~ " darwin" ]]; then
44
- CONFIG_PLATFORM=darwin
44
+ CONFIG_PLATFORM=darwin_nostyle
45
45
elif [[ " $TARGET_PLATFORM " =~ " debian" ]]; then
46
- CONFIG_PLATFORM=debian
46
+ CONFIG_PLATFORM=debian_nostyle
47
47
elif [[ " $TARGET_PLATFORM " =~ " ubuntu_nostyle" ]]; then
48
- CONFIG_PLATFORM=ubuntu
48
+ CONFIG_PLATFORM=ubuntu_nostyle
49
49
elif [[ " $TARGET_PLATFORM " =~ " centos_nostyle" ]]; then
50
- CONFIG_PLATFORM=centos
50
+ CONFIG_PLATFORM=centos_nostyle
51
51
elif [[ " $TARGET_PLATFORM " =~ " darwin_nostyle" ]]; then
52
- CONFIG_PLATFORM=darwin
52
+ CONFIG_PLATFORM=darwin_nostyle
53
53
elif [[ " $TARGET_PLATFORM " =~ " debian_nostyle" ]]; then
54
- CONFIG_PLATFORM=debian
54
+ CONFIG_PLATFORM=debian_nostyle
55
55
else
56
56
echo " Unknown platform: $TARGET_PLATFORM "
57
57
exit 1
You can’t perform that action at this time.
0 commit comments