diff options
| author | Jeffrey Walton <noloader@gmail.com> | 2022-02-15 11:00:58 -0500 |
|---|---|---|
| committer | Jeffrey Walton <noloader@gmail.com> | 2022-02-15 11:00:58 -0500 |
| commit | 667df886703a1bd2a01cdb39baea36ba4bddb9ed (patch) | |
| tree | 36d4525c78dcb26610f6acac957c9d40d9ba1613 /TestScripts | |
| parent | 15677c7c05a43b769f6a2b8c504d641861222ec8 (diff) | |
| download | cryptopp-git-667df886703a1bd2a01cdb39baea36ba4bddb9ed.tar.gz | |
Update cryptest.sh script
Diffstat (limited to 'TestScripts')
| -rwxr-xr-x | TestScripts/cryptest.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/TestScripts/cryptest.sh b/TestScripts/cryptest.sh index e04697e2..4a843698 100755 --- a/TestScripts/cryptest.sh +++ b/TestScripts/cryptest.sh @@ -7936,7 +7936,6 @@ echo "" | tee -a "$TEST_RESULTS" ############################################ # Report failed tests -echo echo "************************************************" | tee -a "$TEST_RESULTS" echo "" | tee -a "$TEST_RESULTS" @@ -7955,7 +7954,6 @@ echo "" | tee -a "$TEST_RESULTS" ############################################ # Report warnings -echo echo "************************************************" | tee -a "$TEST_RESULTS" "$WARN_RESULTS" echo "" | tee -a "$TEST_RESULTS" "$WARN_RESULTS" @@ -7966,11 +7964,11 @@ else echo "$WCOUNT warnings detected. See $WARN_RESULTS for details" | tee -a "$TEST_RESULTS" "$WARN_RESULTS" # "$GREP" -n -E '(warning:)' $WARN_RESULTS | "$GREP" -v 'deprecated-declarations' fi +echo "" | tee -a "$TEST_RESULTS" ############################################ # Report execution time -echo echo "************************************************" | tee -a "$TEST_RESULTS" "$WARN_RESULTS" echo "" | tee -a "$TEST_RESULTS" "$WARN_RESULTS" |