diff options
Diffstat (limited to 'authz-test/src/main/scripts/cmds')
-rw-r--r-- | authz-test/src/main/scripts/cmds | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/authz-test/src/main/scripts/cmds b/authz-test/src/main/scripts/cmds deleted file mode 100644 index ae44312b..00000000 --- a/authz-test/src/main/scripts/cmds +++ /dev/null @@ -1,20 +0,0 @@ -# /bin/bash -. ~/.bashrc -function failed { - echo "FAILED TEST! " $* - exit 1 -} - -if [ "$1" != "" ] ; then - for FILE in TestCases/$1/[0-9]*; do - echo "*** "$FILE" ***" - cat $FILE - echo - done -else - echo "Usage: cmds <TestCase>" -fi - - - -exit 0 |