[lmi-commits] [lmi] master 816228f 4/5: Write repository name OAOO

[Greg Chicares]

branch: master
commit 816228f8a4a85b5b5f244322df91571bcc0a05dd
Author: Gregory W. Chicares <address@hidden>
Commit: Gregory W. Chicares <address@hidden>

    Write repository name OAOO
    
    Abstracted the name to be used for the cloned repository: i.e., the
    last component of the path to the working copy. Deliberately did not
    substitute this into the name of the server URL, because a server may
    use different names.
---
 install_wx.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/install_wx.sh b/install_wx.sh
index 438772d..6476ba5 100755
--- a/install_wx.sh
+++ b/install_wx.sh
@@ -48,18 +48,20 @@ mingw_dir=/MinGW_
 prefix=/opt/lmi/local
 exec_prefix="$prefix"
 
+repo_name="wxWidgets"
+
 # Script commands 
##############################################################
 
 proxy_parent_dir="/cache_for_lmi/vcs"
 mkdir --parents "$proxy_parent_dir"
 
-proxy_wx_dir="$proxy_parent_dir"/wxWidgets
+proxy_wx_dir="$proxy_parent_dir"/$repo_name
 
 # Create a local mirror if it doesn't already exist.
 if [ ! -d "$proxy_wx_dir" ]
 then
     cd "$proxy_parent_dir"
-    git clone "$coefficiency" --recurse-submodules "$remote_host_url" wxWidgets
+    git clone "$coefficiency" --recurse-submodules "$remote_host_url" 
$repo_name
 fi
 
 cd "$proxy_wx_dir"