#! /bin/csh
~/R/check-devel
~/R/check-patched