From ae78fc49221d4c2b8f341444a7b8078d504e207e Mon Sep 17 00:00:00 2001
From: Hans Ulrich Niedermann <hun@n-dimensional.de>
Date: Mon, 7 Mar 2011 20:18:48 +0100
Subject: doc: Mention DISTCHECK_CONFIGURE_FLAGS usage

---
 INSTALL | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'INSTALL')

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"
-- 
cgit