diff options
Diffstat (limited to 'tools/clean.sh')
-rwxr-xr-x | tools/clean.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/tools/clean.sh b/tools/clean.sh deleted file mode 100755 index c7a4c88..0000000 --- a/tools/clean.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh - - -set -euf - - -# absolute paths -script="$(realpath $0)" -tools="$(dirname "${script}")" -src="$(dirname "${tools}")" -build="${src}/build" -pcb="${src}/pcb" - - -rm -rf "$build" -rm -f "${pcb}/fp-info-cache" -rm -f "${pcb}/iot-contact.kicad_prl" |