blob: db2ed5b4643a3a0db576f099bedea1a43d4e5cea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
--- Makefile.org Thu Jan 17 18:42:50 2002
+++ Makefile Sat May 11 20:22:31 2002
@@ -104,14 +104,14 @@
done
mex_config:
- if [ ! -f src/mex/makefile ]; then \
+ if [ -d src/mex -a ! -f src/mex/makefile ]; then \
cd src/mex; \
\rm -f config.{cache,log,status}; \
./configure; \
fi
xgrid_config:
- if [ ! -f src/xgrid/makefile ]; then \
+ if [ -d src/xgrid -a ! -f src/xgrid/makefile ]; then \
cd src/xgrid; \
\rm -f config.{cache,log,status}; \
./configure; \
|
