diff options
author | Waldemar Brodkorb <wbx@openadk.org> | 2024-02-24 17:48:01 +0100 |
---|---|---|
committer | Waldemar Brodkorb <wbx@openadk.org> | 2024-02-24 17:48:01 +0100 |
commit | 241cfecf6e11ebfd92d11272b552bb8371a58861 (patch) | |
tree | a2c0461efab052bfac70d9cae4ea46a17394c243 | |
parent | c9483f5d04d0a950b9beb95d85e9207a06ab2ffc (diff) |
add --timestamp, suggested by dmitry
-rwxr-xr-x | embedded-test.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/embedded-test.sh b/embedded-test.sh index 15bc042..110fe3d 100755 --- a/embedded-test.sh +++ b/embedded-test.sh @@ -118,6 +118,7 @@ Explanation: --debug make debug build --verbose enable verbose output from OpenADK --shell start a shell instead of test autorun + --timestamp add a timestamp to REPORT --help this help text EOF exit 1 @@ -135,6 +136,7 @@ static=0 cxx=0 ssp=0 debug=0 +timestamp=0 ntp="" libc="" os="linux" @@ -153,6 +155,7 @@ while [[ $1 != -- && $1 = -* ]]; do case $1 { (--debug) debug=1; shift ;; (--continue) cont=1; shift ;; (--shell) shell=1 shift ;; + (--timestamp) timestamp=1 shift ;; (--libc=*) libc=${1#*=}; shift ;; (--os=*) os=${1#*=}; shift ;; (--arch=*) archs=${1#*=}; shift ;; @@ -202,6 +205,9 @@ fi if [ $cxx -eq 1 ]; then rsuffix=${rsuffix}.cxx fi +if [ $timestamp -eq 1 ]; then + rsuffix=${rsuffix}.$(date +%s) +fi if [ ! -d openadk ]; then git clone $giturl |