diff options
Diffstat (limited to 'c/src/tests/tools/generic/difftest')
| -rw-r--r-- | c/src/tests/tools/generic/difftest | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/c/src/tests/tools/generic/difftest b/c/src/tests/tools/generic/difftest index 1f76cdf356..11d9ba9e2f 100644 --- a/c/src/tests/tools/generic/difftest +++ b/c/src/tests/tools/generic/difftest @@ -1,6 +1,7 @@ #!KSHELL -p # # Check test results against official output in the src tree +# # $Id$ # @@ -64,8 +65,7 @@ args=$* # Run the tests # -cd $RTEMS_HOME/tests/$logdir || - fatal "No log directory: $RTEMS_HOME/tests/$logdir" +cd $RTEMS_HOME/tests/$logdir || fatal "No log directory: $RTEMS_HOME/tests/$logdir" tests="$args" if [ ! "$tests" ] |