diff options
| -rwxr-xr-x | scripts/tests/load_every_help.py | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/scripts/tests/load_every_help.py b/scripts/tests/load_every_help.py index 81508871..9ace8977 100755 --- a/scripts/tests/load_every_help.py +++ b/scripts/tests/load_every_help.py @@ -26,19 +26,19 @@ fd.write('load_every_help\n') fd.write('========================================================================\n') fd.flush() -extradir = os.path.join(pdrootdir, 'extra', 'earplug~') +extradir = os.path.join(pdrootdir, 'extra') for root, dirs, files in os.walk(extradir): for name in files: m = re.search(".*-help\.pd$", name) if m: test.runtest(fd, root, name) -# docdir = os.path.join(pdrootdir, 'doc') -# for root, dirs, files in os.walk(docdir): -# for name in files: -# m = re.search(".*\.pd$", name) -# if m: -# test.runtest(fd, root, name) +docdir = os.path.join(pdrootdir, 'doc') +for root, dirs, files in os.walk(docdir): + for name in files: + m = re.search(".*\.pd$", name) + if m: + test.runtest(fd, root, name) fd.close() |