diff options
Diffstat (limited to 'TAO/tests/Leader_Followers/run_test_mt.pl')
-rwxr-xr-x | TAO/tests/Leader_Followers/run_test_mt.pl | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/TAO/tests/Leader_Followers/run_test_mt.pl b/TAO/tests/Leader_Followers/run_test_mt.pl new file mode 100755 index 00000000000..9e4c112b115 --- /dev/null +++ b/TAO/tests/Leader_Followers/run_test_mt.pl @@ -0,0 +1,10 @@ +eval '(exit $?0)' && eval 'exec perl -S $0 ${1+"$@"}' + & eval 'exec perl -S $0 $argv:q' + if 0; + +# $Id$ +# -*- perl -*- + +system 'perl run_test.pl -m ' . join ' ', @ARGV; + + |