diff --git a/example.sh b/example.sh index 361b4f8..100f36f 100755 --- a/example.sh +++ b/example.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash EXAMPLES="11 21 12 22 11s 21s 12s 22s 11i 21i 12i 22i" @@ -9,6 +9,6 @@ fi for v in $EXAMPLES; do echo "Running: $v" gtime \ - erl -noshell -pa $PWD/ebin -eval "cuter:run(example, foo$v, [[17]], 25)" \ - -s init stop > LOG.$v + erl -noshell -pa "$PWD"/ebin -eval "cuter:run(example, foo$v, [[17]], 25)" \ + -s init stop > LOG."$v" done diff --git a/fetch_protoc.sh b/fetch_protoc.sh index 2921c2c..972452d 100755 --- a/fetch_protoc.sh +++ b/fetch_protoc.sh @@ -1,4 +1,4 @@ -#! /bin/bash +#!/usr/bin/env bash set -e @@ -7,9 +7,9 @@ VER="3.20.2" PROTOC_DIR="$DL/protoc-$VER" rm -rf $PROTOC_DIR -ME=`basename "$0"` +ME=$(basename "$0") -SYSTEM_TYPE=`uname -s` +SYSTEM_TYPE=$(uname -s) case ${SYSTEM_TYPE} in 'Darwin') OS=osx;; 'Linux') OS=linux;; @@ -18,7 +18,7 @@ case ${SYSTEM_TYPE} in ;; esac -MACHINE_TYPE=`uname -m` +MACHINE_TYPE=$(uname -m) case ${MACHINE_TYPE} in 'i686') ARCH='x86_32';; # 32-bit 'x86_64') ARCH='x86_64';; # 64-bit diff --git a/fetch_z3.sh b/fetch_z3.sh index 6eb3e1d..5e69711 100755 --- a/fetch_z3.sh +++ b/fetch_z3.sh @@ -1,4 +1,4 @@ -#! /bin/bash +#!/usr/bin/env bash set -e