diff options
| author |  Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-11-15 19:26:28 -0500 |
|---|---|---|
| committer | Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-11-15 19:26:28 -0500 |
| commit | 1aaa9059c01c105a97405ddf38e671fb89656c8b (patch) | |
| tree | 14b2c54b6932984dc1422b0bdd436d66a16ae221 /scripts | |
| parent | 9aa37f310820128635e5b46d740cfa0fb49dc846 (diff) | |
maketests -> buildtests
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/check.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/check.in b/scripts/check.in index a388ef38f..525d2a589 100755 --- a/scripts/check.in +++ b/scripts/check.in @@ -8,7 +8,7 @@ then exit 0 fi -./maketests $* +./buildtests $* # TODO when ctest 2.8 comes out, honor the jobs parameter ctest -R $1
\ No newline at end of file |