webhook-deploy.sh: error upon unknown option

This commit is contained in:
Dmitry Rozhkov 2018-07-19 12:39:52 +03:00
parent 2f918cc257
commit eaff6f7f6f

View File

@ -38,6 +38,10 @@ while [[ $# -gt 0 ]]; do
cleanup) cleanup)
command="cleanup" command="cleanup"
;; ;;
*)
echo "Unknown option: ${1}"
exit 1
;;
esac esac
shift shift
done done