diff options
Diffstat (limited to 'cluster/netpipe/BUILD')
-rwxr-xr-x | cluster/netpipe/BUILD | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/cluster/netpipe/BUILD b/cluster/netpipe/BUILD index 8256aee304..fb8b8efd73 100755 --- a/cluster/netpipe/BUILD +++ b/cluster/netpipe/BUILD @@ -1,9 +1,4 @@ -make tcp && +OPTS+=" tcp" -if spell_ok mpich; then - make mpi -fi && -if spell_ok pvm; then - make pvm -fi +make CC="$CC" CFLAGS="$CFLAGS" $OPTS |