?? buildtest
字號(hào):
#! /bin/csh# $Id: buildtest,v 1.3.2.1 2001/11/09 18:44:25 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?? 快捷鍵說(shuō)明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號(hào)
Ctrl + =
減小字號(hào)
Ctrl + -