version 1.2, 2008/02/15 18:31:18
|
version 1.5, 2012/02/08 22:23:41
|
|
|
# n00 - for linux_ia32 machines such as n00, ..., n11, etc. | # n00 - for linux_ia32 machines such as n00, ..., n11, etc. |
# n12 - for linux_x86_64 machines | # n12 - for linux_x86_64 machines |
| |
my($scriptpath) = $0; |
use Cwd qw(realpath); |
|
|
|
my($scriptpath) = realpath($0); |
print STDOUT "make of JSOC $scriptpath\n"; | print STDOUT "make of JSOC $scriptpath\n"; |
system("date"); | system("date"); |
| |
my($wd); | my($wd); |
$wd = $scriptpath; | $wd = $scriptpath; |
|
|
if ($wd =~ /(.+)\/\S+$/) | if ($wd =~ /(.+)\/\S+$/) |
{ | { |
$wd = $1; | $wd = $1; |
} | } |
|
else |
|
{ |
|
print STDERR "Invalid make_jsoc.pl path; bailing!\n"; |
|
exit(1); |
|
} |
| |
chdir($wd); | chdir($wd); |
| |
# make clean | # make clean |
# make -j 4 | # make -j 4 |
| |
if (-e "suflag.txt") |
system("make clean"); |
|
|
|
if (-e "configsdp.txt") |
{ | { |
system("make all dsds"); | system("make all dsds"); |
} | } |