scripts/build/debug/200-duma.sh
changeset 1125 44037ce2db6d
parent 1123 8c5881324a79
child 1126 1ab3d2e08c8b
     1.1 --- a/scripts/build/debug/200-duma.sh	Sun Jan 04 22:17:53 2009 +0000
     1.2 +++ b/scripts/build/debug/200-duma.sh	Mon Jan 05 21:09:37 2009 +0000
     1.3 @@ -21,7 +21,8 @@
     1.4  do_debug_duma_build() {
     1.5      CT_DoStep INFO "Installing D.U.M.A."
     1.6      CT_DoLog EXTRA "Copying sources"
     1.7 -    cp -a "${CT_SRC_DIR}/duma-${CT_DUMA_VERSION}" "${CT_BUILD_DIR}/build-duma"
     1.8 +    # DUMA separates its name from the version with an underscore, not a dash
     1.9 +    cp -a "${CT_SRC_DIR}/duma_${CT_DUMA_VERSION}" "${CT_BUILD_DIR}/build-duma"
    1.10      CT_Pushd "${CT_BUILD_DIR}/build-duma"
    1.11  
    1.12      DUMA_CPP=