walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

tools/run_more_tests.sh: Fixed comment 

Name of the script that uses this script was wrong.
This commit is contained in:
Sebastian 2018-02-02 11:27:38 +01:00 committed by GitHub
parent 82c963d3a2
commit d9952dc6cf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/run_more_tests.sh
View File

@ -1,5 +1,5 @@
#!/bin/bash
# Script Used by generate_and_run_tests.sh
# Script Used by generate_and_run_more_tests.sh
set -e