summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHans Ulrich Niedermann <hun@n-dimensional.de>2011-03-07 20:18:48 +0100
committerHans Ulrich Niedermann <hun@n-dimensional.de>2011-03-07 20:57:38 +0100
commitae78fc49221d4c2b8f341444a7b8078d504e207e (patch)
tree76cb9230059fc89ae4bba31632a7c7312f920101
parent20cb3f461845d788e7b84d40a656dc1c63842ef0 (diff)
downloadrasdaman-upstream-ae78fc49221d4c2b8f341444a7b8078d504e207e.tar.gz
rasdaman-upstream-ae78fc49221d4c2b8f341444a7b8078d504e207e.tar.xz
rasdaman-upstream-ae78fc49221d4c2b8f341444a7b8078d504e207e.zip
doc: Mention DISTCHECK_CONFIGURE_FLAGS usage
-rw-r--r--INSTALL5
1 files changed, 5 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index 7e90f70..74a61e9 100644
--- a/INSTALL
+++ b/INSTALL
@@ -38,3 +38,8 @@ Tips and tricks:
$ git clean -f -x -d
CAUTION: This will REMOVE ALL FILES not committed to the git repo!
+
+ * As it is generally recommended to configure rasdaman --with-hdf4,
+ you should add that flag when you run "make distcheck" as well:
+
+ $ make distcheck DISTCHECK_CONFIGURE_FLAGS="--with-hdf4"