diff options
| author | eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2014-12-04 03:24:34 +0000 |
|---|---|---|
| committer | eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2014-12-04 03:24:34 +0000 |
| commit | 03515f236135f156d86e41e30e35113ef6f4c66b (patch) | |
| tree | 602c48f22fb70551c73d660169d6bbccaeb0362a | |
| parent | 1733ae55513e79d1e96a233bf6eeb799aabf8e4b (diff) | |
Mark build as "done" when using existing MPI installation
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@59 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
| -rw-r--r-- | src/detect.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/detect.pl b/src/detect.pl index e598f7b..1180ffe 100644 --- a/src/detect.pl +++ b/src/detect.pl @@ -143,6 +143,11 @@ if ($mpi_build and !$mpi_info_set) { $ENV{MPI_INC_DIRS} = "$mpi_dir/include"; $ENV{MPI_LIB_DIRS} = "$mpi_dir/lib"; $ENV{MPI_LIBS} = "mpi"; +} else { + my $THORN = "MPI"; + my $DONE_FILE = "$ENV{SCRATCH_BUILD}/done/${THORN}"; + mkdir("$ENV{SCRATCH_BUILD}/done"); + system("date > ${DONE_FILE}") == 0 or die; } ################################################################################ |