Index: mttroot/mtt/bin/trans/rep_txt2sh ================================================================== --- mttroot/mtt/bin/trans/rep_txt2sh +++ mttroot/mtt/bin/trans/rep_txt2sh @@ -13,10 +13,13 @@ ############################################################### ## Version control history ############################################################### ## $Id$ ## $Log$ +## Revision 1.4 1998/04/14 18:17:15 peterg +## More messages about Makefile +## ## Revision 1.3 1998/04/14 18:01:04 peterg ## Now executes a Makefile (if it exists) ## # Revision 1.2 1997/12/06 14:27:53 peterg # No changes. @@ -23,17 +26,21 @@ # ## Revision 1.1 1997/08/26 09:06:11 peterg ## Initial revision ## ############################################################### + # Execute a make if Makefile exists if [ -f Makefile ]; then echo Executing the Makefile make echo Done executing the Makefile echo fi + +## Get switches (if any) +mtt_switches=$2 # Inform user echo "Creating representations for $1_rep.tex" # Check for old (2 arg) version and update if necessary @@ -45,9 +52,13 @@ strip_comments < $1_rep.txt.SAVE |\ awk '{print "mtt", sys, $1, $2}' sys="$1" >$1_rep.txt fi # Execute the commands - quietly and untidily! -strip_comments< $1_rep.txt | sed 's/mtt /mtt -q -u /' | tee -a JUNK | sh +# But use switches +strip_comments< $1_rep.txt | sed "s/mtt /mtt -q -u $mtt_switches /" | tee -a JUNK | sh echo "Done creating representations for $1_rep.tex" + + +