Join modifications from branch OCC_development_for_3_2_0a2

diff --git a/build_configure b/build_configure
index 340030903a5a13f2ce5860145116642a0fff6d35..d48fdb6ba949f922c883ba1b91c04241de09ea36 100755 (executable)
--- a/build_configure
+++ b/build_configure
@@ -212,7 +212,7 @@ else
        echo -n "Creating 'configure' script ...  "
 fi
 
-aclocal --acdir=adm_local/unix/config_files -I ${KERNEL_ROOT_DIR}/salome_adm/unix/config_files
+aclocal -I adm_local/unix/config_files -I ${KERNEL_ROOT_DIR}/salome_adm/unix/config_files
 if autoconf
 then
        echo "done"