diff options
Diffstat (limited to 'admin')
| -rw-r--r-- | admin/runtests | 6 | ||||
| -rw-r--r-- | admin/texttest.php | 6 |
2 files changed, 11 insertions, 1 deletions
diff --git a/admin/runtests b/admin/runtests index 9026a90..770c5fb 100644 --- a/admin/runtests +++ b/admin/runtests @@ -31,7 +31,11 @@ test_docblocks () { } test_php () { - /usr/bin/env php "$HERE/texttest.php" + if uname -a | grep -i cygwin >/dev/null 2>/dev/null ; then + /usr/bin/env php "$(dirname "$0")/texttest.php" --insecure-rand + else + /usr/bin/env php "$HERE/texttest.php" + fi } tests="tabs longlines nobadbraces nobadcase opentag docblocks php import" diff --git a/admin/texttest.php b/admin/texttest.php index 0f7d1ad..12b26ea 100644 --- a/admin/texttest.php +++ b/admin/texttest.php @@ -43,6 +43,12 @@ function microtime_float() // Drop $argv[0] (command name) array_shift($argv); +// Randomness source selection +$t = array_search('--insecure-rand', $argv); +if ($t !== false && $t !== null) { + define('Auth_OpenID_RAND_SOURCE', null); +} + // ******** Math library selection *********** $t = array_search('--no-math', $argv); |