blob: efbf035d90d4a5edb57994672b225c470fa5579e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- util/mpiinstall.in.orig Sun Jul 26 14:52:49 1998
+++ util/mpiinstall.in Sun Jul 26 14:53:02 1998
@@ -611,7 +611,7 @@
if [ "$DEVICE" = "ch_p4" ] ; then
if [ ! -x mpid/server/server ] ; then
echo "Attempting to build alternate ch_p4 secure server"
- $Show "( cd mpid/server ; configure ; $MAKE server )"
+ $Show "( cd mpid/server ; ./configure ; $MAKE server )"
fi
if [ -x mpid/server/server ] ; then
CopyFile mpid/server/server $PREFIX/bin $XMODE
|
