annotate deploy/linux/mark-for-signing @ 129:afd72eb2b0aa tip

Added tag v1.0-windows-32bit for changeset 7d5387c63447
author Chris Cannam
date Fri, 12 Jun 2020 17:20:52 +0100
parents 28b1dd4ee370
children
rev   line source
Chris@35 1 #!/bin/bash
Chris@35 2
Chris@35 3 set -e
Chris@35 4
Chris@35 5 usage() {
Chris@35 6 echo "Usage: $0 <plugin-dir>" 1>&2
Chris@35 7 exit 2
Chris@35 8 }
Chris@35 9
Chris@35 10 dir="$1"
Chris@35 11
Chris@35 12 if [ ! -d "$dir" ]; then
Chris@35 13 usage
Chris@35 14 fi
Chris@35 15
Chris@35 16 if [ -n "$2" ]; then
Chris@35 17 usage
Chris@35 18 fi
Chris@35 19
Chris@35 20 set -u
Chris@35 21
Chris@35 22 touch "$dir"/.something-to-sign
Chris@35 23