Index: /issm/trunk-jpl/externalpackages/adolc/install-dev.sh
===================================================================
--- /issm/trunk-jpl/externalpackages/adolc/install-dev.sh	(revision 13387)
+++ /issm/trunk-jpl/externalpackages/adolc/install-dev.sh	(revision 13388)
@@ -11,8 +11,5 @@
 
 autoreconf -f -i 
-./configure --prefix=$ISSM_DIR/externalpackages/adolc/install \
-	--enable-docexa \
-	--enable-addexa \
-	--enable-stdczero 
+./configure --prefix=$ISSM_DIR/externalpackages/adolc/install 
 
 if [ $# -eq 0 ]; then