@ -1,4 +1,4 @@
#! /usr/bin/bash
#! /bin/bash
usage() {
echo "usage: $0 --platform=<platform> [options...]"