diff options
Diffstat (limited to 'tests/pr/pr-tests')
| -rwxr-xr-x | tests/pr/pr-tests | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/pr/pr-tests b/tests/pr/pr-tests index 6856e92a7..c132e0631 100755 --- a/tests/pr/pr-tests +++ b/tests/pr/pr-tests @@ -1,5 +1,5 @@ #! /bin/sh -# This script was generated automatically by build-script. +# This script was generated automatically by mk-script. case $# in 0) xx='../../src/pr';; *) xx="$1";; |