Changeset 838 for palm/trunk

Timestamp:

Feb 22, 2012 2:09:22 PM (13 years ago)

Author:

raasch

Message:

case -s WP removed from mrun

File:

• palm/trunk/SCRIPTS/mrun (modified) (3 diffs)

palm/trunk/SCRIPTS/mrun

@@ -249 +249 @@
      # 17/02/12 - Siggi  - -z included in description of options (mrun ?)
      # 22/02/12 - Siggi  - -s info updated
+     # 22/02/12 - Siggi  - case "-s WP" removed
 
 
@@ -692 +693 @@
 
 
-     # PRUEFEN, OB MRUN NUR TESTWEISE AUF DER LOKALEN MASCHINE KOMPILIEREN SOLL
- if [[ "$source_list" = LOCAL_COMPILE_TEST ]]
- then
-    source_list=TEST
-    local_compile=true
-    host=$localhost
- fi
-    
-
     # PRUEFEN, OB AUF REMOTE-MASCHINE GERECHNET WERDEN SOLL
     # WERT VON do_remote WIRD FUER DATEIVERBINDUNGEN BENOETIGT.
@@ -1604 +1596 @@
 
     [[ "$source_list" = LM ]]  &&  source_list=LOCALLY_MODIFIED
-    [[ "$source_list" = WP ]]  &&  source_list=WRITE_PERMIT
-
-
-       # EVTL. ZU UEBERSETZENDE PROGRAMMTEILE DADURCH BESTIMMEN, DASS GEPRUEFT
-       # WIRD, WELCHE DATEIEN WRITE-PERMIT BESITZEN (DATEIEN SOLLTEN DESHALB
-       # UNTER RCS-KONTROLLE STEHEN). MIT DER VARIABLEN EXCLUDE KOENNEN
-       # BESTIMMTE DATEIEN GRUNDSAETZLICH VON DER UEBERSETZUNG AUSGESCHLOSSEN
-       # WERDEN. DIES IST NUR BEI MANUELLEM START VON MRUN DURCH DEN BENUTZER
-       # MOEGLICH, DA BEI AUTOMATISCHEN RESTARTS TEST DURCH DIE TATSAECHLICH
-       # ZU UBERSETZENDEN DATEIEN ERSETZT IST.
-       # ALLE ERMITTELTEN DATEIEN WERDEN IM VERZEICHNIS SOURCES_FOR_RUN_...
-       # GESAMMELT
-    if [[ "$source_list" = WRITE_PERMIT ]]
-    then
-
-       source_list=""
-       cd  $source_path
-
-
-          # ALLE MOEGLICHEN QUELLCODEDATEIEN AUFLISTEN
-       Names=$(ls -1 *.f90 2>&1)
-       [[ $(echo $Names | grep -c '*.f90') = 0 ]]  &&  Filenames="$Names"
-       Names=$(ls -1 *.F90 2>&1)
-       [[ $(echo $Names | grep -c '*.F90') = 0 ]]  &&  Filenames="$Filenames $Names"
-       Names=$(ls -1 *.F 2>&1)
-       [[ $(echo $Names | grep -c '*.F') = 0   ]]  &&  Filenames="$Filenames $Names"
-       Names=$(ls -1 *.f 2>&1)
-       [[ $(echo $Names | grep -c '*.f') = 0   ]]  &&  Filenames="$Filenames $Names"
-       Names=$(ls -1 *.c 2>&1)
-       [[ $(echo $Names | grep -c '*.c') = 0   ]]  &&  Filenames="$Filenames $Names"
-
-
-          # DATEIEN MIT WRITE-PERMIT NACH SOURCES_FOR_RUN_... KOPIEREN
-       for  dateiname  in  $Filenames
-       do
-          if [[ -w $dateiname ]]
-          then
-             if [[ "$exclude" = ""  ||  $(echo $exclude | grep -c $dateiname) = 0 ]]
-             then
-                cp  $dateiname  $working_directory/SOURCES_FOR_RUN_$fname
-                source_list=$source_list"$dateiname "
-             fi
-          fi
-       done
-
-       cd -  > /dev/null
-
-
-    elif [[ "$source_list" = LOCALLY_MODIFIED ]]
+
+    if [[ "$source_list" = LOCALLY_MODIFIED ]]
     then