devtools/R.sh

9 lines, 2 significant

1	#!/usr/bin/env bash
2	#
3	# Launch R with the libraries we installed for benchmarks and tests.
4	#
5	# Trivial wrapper around the R-libs wedge
6
7	source build/dev-shell.sh
8
9	R "$@"