scripts/build/debug/200-duma.sh
changeset 1112 c72aecd1a9ef
parent 1041 2573519c00d6
child 1123 8c5881324a79
     1.1 --- a/scripts/build/debug/200-duma.sh	Thu Nov 13 18:22:23 2008 +0000
     1.2 +++ b/scripts/build/debug/200-duma.sh	Sat Jan 03 21:11:41 2009 +0000
     1.3 @@ -1,9 +1,5 @@
     1.4  # Build script for D.U.M.A.
     1.5  
     1.6 -do_print_filename() {
     1.7 -    echo "duma_${CT_DUMA_VERSION}"
     1.8 -}
     1.9 -
    1.10  do_debug_duma_get() {
    1.11      CT_GetFile "duma_${CT_DUMA_VERSION}" http://mesh.dl.sourceforge.net/sourceforge/duma/
    1.12      # D.U.M.A. doesn't separate its name from its version with a dash,