commit 59a3c4aba5c1c3bc0ebc7b69b0ca66d72b3b2250
author Josh Fischer <josh@joshfischer.io> Fri May 29 15:04:07 2020 -0500
committer GitHub <noreply@github.com> Fri May 29 15:04:07 2020 -0500
tree 0257500962c301178a5f57f2699f36a8087ced8f
parent e06dc8ff67bae7ff81abe8a0693ca0a25e9266d6

adding nostyle (#3527)

docker/scripts/compile-platform.sh

diff --git a/docker/scripts/compile-platform.sh b/docker/scripts/compile-platform.sh
index 69dd36f..34c4403 100755
--- a/docker/scripts/compile-platform.sh
+++ b/docker/scripts/compile-platform.sh
@@ -37,21 +37,21 @@
 tar -C . -xzf $SOURCE_TARBALL
 
 if [[ "$TARGET_PLATFORM" =~ "ubuntu" ]]; then
-  CONFIG_PLATFORM=ubuntu
+  CONFIG_PLATFORM=ubuntu_nostyle
 elif [[ "$TARGET_PLATFORM" =~ "centos" ]]; then
-  CONFIG_PLATFORM=centos
+  CONFIG_PLATFORM=centos_nostyle
 elif [[ "$TARGET_PLATFORM" =~ "darwin" ]]; then
-  CONFIG_PLATFORM=darwin
+  CONFIG_PLATFORM=darwin_nostyle
 elif [[ "$TARGET_PLATFORM" =~ "debian" ]]; then
-  CONFIG_PLATFORM=debian
+  CONFIG_PLATFORM=debian_nostyle
 elif [[ "$TARGET_PLATFORM" =~ "ubuntu_nostyle" ]]; then
-  CONFIG_PLATFORM=ubuntu
+  CONFIG_PLATFORM=ubuntu_nostyle
 elif [[ "$TARGET_PLATFORM" =~ "centos_nostyle" ]]; then
-  CONFIG_PLATFORM=centos
+  CONFIG_PLATFORM=centos_nostyle
 elif [[ "$TARGET_PLATFORM" =~ "darwin_nostyle" ]]; then
-  CONFIG_PLATFORM=darwin
+  CONFIG_PLATFORM=darwin_nostyle
 elif [[ "$TARGET_PLATFORM" =~ "debian_nostyle" ]]; then
-  CONFIG_PLATFORM=debian
+  CONFIG_PLATFORM=debian_nostyle
 else
   echo "Unknown platform: $TARGET_PLATFORM"
   exit 1