diff options
Diffstat (limited to 'ocaml/run-bindtests')
| -rwxr-xr-x | ocaml/run-bindtests | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ocaml/run-bindtests b/ocaml/run-bindtests index da10231d..3b73e8d3 100755 --- a/ocaml/run-bindtests +++ b/ocaml/run-bindtests @@ -18,5 +18,8 @@ set -e -./bindtests > bindtests.tmp +./bindtests.bc > bindtests.tmp +diff -u $srcdir/../bindtests bindtests.tmp + +./bindtests.opt > bindtests.tmp diff -u $srcdir/../bindtests bindtests.tmp |