📄 buildtest
字号:
#! /bin/csh# $Id: buildtest,v 1.1.6.1 2002/04/24 03:25:18 erik Exp $ ## Defines the configuration for maint/buildtest, this is sourced by that script#set TMP=/sandbox/petsc/petscset MACH=gaeaset ARCH=linuxset TEST=testexamples_set NICE=''#set day=`date | cut -f1 -d" "`if ($day == Sun) then set BOPT=g_c++ set JOBS=(1 2 3 6 8 13 14)else if ($day == Mon) then set BOPT=g set JOBS=(1 2 3 6 8 13 14) else if ($day == Tue) then set BOPT=O set JOBS=(1 2 3 6 8 14) else if ($day == Wed) then set BOPT=g_complex set JOBS=(1 2 3 5 10 13) else if ($day == Thu) then set BOPT=O_c++ set JOBS=(1 2 3 6 8 13 14)else if ($day == Fri) then set BOPT=O_complex set JOBS=(1 2 3 5 10 13)else if ($day == Sat) then set BOPT=O set JOBS=(1 2 3 6 8 14)endif
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -