Use bash and set fail conditions. Reformat files.

This commit is contained in:
Robert Jacob 2017-07-08 16:55:16 +02:00
parent 8340926289
commit 091e7b233a
2 changed files with 38 additions and 36 deletions

View File

@ -1,4 +1,5 @@
#!/bin/sh #!/usr/bin/env bash
set -euo errexit
platforms=' platforms='
CONFIG_TARGET_arm64=y CONFIG_TARGET_arm64=y

View File

@ -1,4 +1,5 @@
#!/bin/bash #!/usr/bin/env bash
set -euo errexit
if [ $# -ne 2 -o ! -d "$2" ]; then if [ $# -ne 2 -o ! -d "$2" ]; then
echo "usage: $0 <ident> <folder>" echo "usage: $0 <ident> <folder>"