diff options
Diffstat (limited to 'aux/workflow/dist.sh')
| -rwxr-xr-x | aux/workflow/dist.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh index 9143d7d..69c0173 100755 --- a/aux/workflow/dist.sh +++ b/aux/workflow/dist.sh @@ -1,6 +1,7 @@ #!/bin/sh set -eu +PROJECT_UC= while getopts 'd:V:n:N:m:' flag; do case "$flag" in d) |