diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/copy-figs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/copy-figs b/bin/copy-figs index d07f825..382f9e7 100755 --- a/bin/copy-figs +++ b/bin/copy-figs @@ -140,6 +140,8 @@ haveManifest=$( fi ) [ "${DEBUG}" ] || echo >&2 "haveManifest=|${haveManifest}|" +[ "${VERBOSE}" -a "${haveManifest}" = "yes" ] || + echo >&2 "Using manifest to get file names" ( if [ "${haveManifest}" = "yes" ]; then |