#!/bin/csh -f

set cmdname  = $0:t;
set rootpath = $0:h/..
pushd $rootpath > /dev/null
set rootpath = `pwd`
popd > /dev/null

if ($#argv < 1) then
  ${rootpath}/cuda/test/check -1
else
  # for developer's only
  ${rootpath}/cuda/test/check $*
endif
