#!/bin/csh setenv DISPLAY :5 limit cputime 30m setenv _R_CHECK_FORCE_SUGGESTS_ false setenv LC_CTYPE en_GB.utf8 setenv RMPI_INCLUDE /usr/include/openmpi-x86_64 setenv RMPI_LIB_PATH /usr/lib64/openmpi/lib setenv RMPI_TYPE OPENMPI setenv R_BROWSER false setenv R_PDFVIEWER false setenv _R_USE_STRICT_R_HEADERS_ true if ($#argv >= 1) then set J=$1 else set J=30 endif nohup make -j $J -k check >&! check_log