diff options
| -rw-r--r-- | extended/Makefile | 2 | ||||
| -rwxr-xr-x | extended/checklogs.sh | 12 |
2 files changed, 12 insertions, 2 deletions
diff --git a/extended/Makefile b/extended/Makefile index 9dfef79..b89a311 100644 --- a/extended/Makefile +++ b/extended/Makefile @@ -48,7 +48,7 @@ pd_src ?= $(CURDIR)/../../../pd ##-- LN_S : make a symlink (for common code) #LN_S ?= ln -s -LN_S ?= cp -a +LN_S ?= cp -R ##====================================================================== ## Rules: default diff --git a/extended/checklogs.sh b/extended/checklogs.sh index 4012096..bbbb843 100755 --- a/extended/checklogs.sh +++ b/extended/checklogs.sh @@ -1,6 +1,6 @@ #!/bin/sh -## Usage: getlogs.sh [DATE [FORCE]] +## Usage: checklogs.sh [DATE [FORCE]] proto="http" baseurl="autobuild.pure-data.info/auto-build" @@ -9,6 +9,16 @@ baseurl="autobuild.pure-data.info/auto-build" #wget_quiet_flags="-nv" wget_quiet_flags="" +##-- help +USAGE="$0 [DATE [FORCE]]" +case "$1" in + -h|-help|--help|-\?) + echo "Usage: $USAGE" + exit 0 + ;; +esac + +##-- args logdate="$1" test $# -gt 0 && shift test -z "$logdate" -o "$logdate" = "-" && logdate=`date +%Y-%m-%d` |