|
|
379d95a2d4
|
Unify a couple scripts
|
2020-11-03 21:11:36 +01:00 |
|
|
|
a92f4d350e
|
Test files not directories
|
2017-11-08 08:03:46 +01:00 |
|
|
|
c138b5a882
|
Let internal variables be overridden
|
2017-09-13 14:25:45 +02:00 |
|
|
|
221cd73582
|
Update the copyright notice
|
2017-09-13 14:25:45 +02:00 |
|
|
|
6fd5bda39e
|
Let more scripts work on multiple targets
|
2017-09-13 14:25:45 +02:00 |
|
|
|
d1c17719e7
|
Sort the files tested arithmetically
|
2016-04-13 19:21:02 +02:00 |
|
|
|
5177bf68e2
|
Perform tests deterministically
|
2016-02-18 00:41:29 +01:00 |
|
|
|
0bb41efbf1
|
Add a comment
|
2016-01-20 02:08:23 +01:00 |
|
|
|
024133740f
|
Update the copyright notice
|
2016-01-20 01:59:10 +01:00 |
|
|
|
0d2581ebbc
|
Detect which directories to test
|
2016-01-20 01:59:02 +01:00 |
|
|
|
7414b3e00c
|
Sort the files checked alphabetically
With this change failures should be more deterministic.
|
2015-10-19 17:22:06 +02:00 |
|
|
|
cfa5e962ba
|
Redirect debug information to the standard output
|
2015-10-04 13:05:53 +02:00 |
|
|
|
6ddac85570
|
Update the copyright notice
|
2015-06-08 03:31:15 +02:00 |
|
|
|
d4316f6f3f
|
Use PROGNAME
|
2015-06-08 03:31:15 +02:00 |
|
|
|
08d51a9edf
|
Added the "phplint.sh" helper script
|
2014-10-03 13:24:19 +02:00 |
|
