From deb4a68d896a6acd2a6739bcdee266ff70bcfc2c Mon Sep 17 00:00:00 2001
From: Samuel Sadok <samuel.sadok@bluewin.ch>
Date: Mon, 20 Jul 2020 11:12:01 +0200
Subject: [PATCH] remove build.sh

This script was used by Travis CI which got disabled in
a4e03ffd077eae11f1d3cdc62d3c20ef38f9fb3f in favor of GitHub Workflows.
Developers should use `make` instead of this script.
---
 Firmware/build.sh | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100755 Firmware/build.sh

diff --git a/Firmware/build.sh b/Firmware/build.sh
deleted file mode 100755
index 88570b15..00000000
--- a/Firmware/build.sh
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/usr/bin/env bash
-# Builds the firmware with the configuration specified by
-# environment variables named CONFIG_...
-# If DEPLOY is set, the deliverables are copied to Firmware/deploy/*
-# with the suffix $DEPLOY
-set -euo pipefail
-
-THIS_DIR="$(dirname "$0")"
-cd "$THIS_DIR"
-
-# Treat warnings as errors
-export CONFIG_STRICT=true
-
-# Write all environment variables that start with "CONFIG_" to tup.config
-rm -rdf build
-mkdir -p build
-env | grep ^CONFIG > tup.config
-tup init
-tup generate ./tup_build.sh
-bash -xe ./tup_build.sh
-
-# Deploy
-if ! [ -z ${DEPLOY+x} ]; then
-    mkdir -p deploy
-    cp build/ODriveFirmware.elf deploy/ODriveFirmware_"$DEPLOY".elf
-    cp build/ODriveFirmware.hex deploy/ODriveFirmware_"$DEPLOY".hex
-fi