diff options
Diffstat (limited to 'graphics/gmt/files/patch-Makefile')
-rw-r--r-- | graphics/gmt/files/patch-Makefile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/graphics/gmt/files/patch-Makefile b/graphics/gmt/files/patch-Makefile new file mode 100644 index 000000000000..db2ed5b4643a --- /dev/null +++ b/graphics/gmt/files/patch-Makefile @@ -0,0 +1,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; \ |