diff --git a/deployment_scripts/deploy_linux.sh b/deployment_scripts/deploy_linux.sh index 81d6e6732..5ce29ac59 100644 --- a/deployment_scripts/deploy_linux.sh +++ b/deployment_scripts/deploy_linux.sh @@ -81,8 +81,7 @@ wget -c -N -P ${ISLAND_BINARIES_PATH} ${WINDOWS_64_BINARY_URL} # Allow them to be executed chmod a+x "$ISLAND_BINARIES_PATH/$LINUX_32_BINARY_NAME" chmod a+x "$ISLAND_BINARIES_PATH/$LINUX_64_BINARY_NAME" -chmod a+x "$ISLAND_BINARIES_PATH/$WINDOWS_32_BINARY_NAME" -chmod a+x "$ISLAND_BINARIES_PATH/$WINDOWS_64_BINARY_NAME" + # Get machine type/kernel version kernel=`uname -m`