diff options
author | Chris Dyer <redpony@gmail.com> | 2015-05-11 19:11:36 -0400 |
---|---|---|
committer | Chris Dyer <redpony@gmail.com> | 2015-05-11 19:11:36 -0400 |
commit | d3c9c3620a12e59a362b892d726197118950b9d2 (patch) | |
tree | b93988a0d4dafc33a7253485bf14570a3f593a13 | |
parent | baaa91375561a4a7eeabaf8a5d4b7283b459a8e1 (diff) | |
parent | 4a8873731dd6d7965665bb90e8530bd83167d6f3 (diff) |
Merge pull request #73 from amittai/patch-1
Update run-system-tests.pl
-rwxr-xr-x | tests/run-system-tests.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/run-system-tests.pl b/tests/run-system-tests.pl index 324763ae..1e64a004 100755 --- a/tests/run-system-tests.pl +++ b/tests/run-system-tests.pl @@ -8,7 +8,7 @@ my $TEMP_DIR = tempdir( CLEANUP => 1 ); #my $cwd = cwd(); #die "Sanity failed: $cwd" unless -d $cwd; -my $DECODER = "$script_dir/../decoder/cdec"; +my $DECODER = "$script_dir/../build/decoder/cdec"; my $FILTER = "$script_dir/tools/filter-stderr.pl"; my $COMPARE_STATS = "$script_dir/tools/compare-statistics.pl"; my $XDIFF = "$script_dir/tools/flex-diff.pl"; |