Changeset 10a85fe in git


Ignore:
Timestamp:
May 2, 2011, 6:55:13 PM (13 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '45e267b9942dec9429fe249ce3e5e44ab80a6a3a')
Children:
3bb9cb2aa362f52992e1584a41e4f67368e603b3
Parents:
3033f07edbebc827dd4bf79ffda980b3f5a6ba50
git-author:
Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-05-02 18:55:13+02:00
git-committer:
Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:31:32+01:00
Message:
ADD: better 'date' format (no spaces)
ADD: paralell run-protection
ADD: build dir is date-dependent
CHG: no default "-j" make option
File:
1 edited

Legend:

Unmodified
Added
Removed
  • sw.sh

    r3033f0 r10a85fe  
    33PWD=`pwd`
    44BRANCH="spielwiese"
     5
     6# configure' options
    57CFGOPTIONS="--with-gmp=yes"
    6 MKOPTIONS="-j9"
     8
     9# computer specific make options: e.g. -j9
     10#MKOPTIONS="-j9"
     11MKOPTIONS=""
     12
     13D=`date +%y.%m.%d.%H.%M.%S`
     14
    715# tempdir (absolute path!)
    8 SW="$PWD/SW"
     16SW="$PWD/SW_$D.dir"
    917
    1018# we try to use log instead of consequent --quiet
    11 LOG="$PWD/`date`.log"
     19LOG="$PWD/SW_$D.log"
    1220
    1321# log or no log?
     
    1523
    1624echo "DATE: `date`" >> $LOG
     25echo "HOST: `hostname`" >> $LOG
     26echo "SYSTEM: `uname -a`" >> $LOG
     27
    1728
    1829CleanUp()
    1930{
    2031  echo "Deleting tempdir: $SW" >> $LOG
    21   rm -f -R $SW 1>> $LOG 2>&1
     32  rm -f -R "$SW" 1>> $LOG 2>&1
    2233}
    2334
     
    5970
    6071echo "Creating empty tempdir: $SW" >> $LOG
    61 [ -d $SW ] && { echo "Error: $SW exists... cleaning up..." >> $LOG; CleanUp; }
     72[ -d $SW ] && { echo "Error: $SW exists... cleaning up..." >> $LOG; mv -f $SW "$SW.moved" 1>> $LOG 2>&1 && { rm -f -R "$SW.moved" 1>> $LOG 2>&1 || echo "Error: could not remove '$SW.moved'"; } || { echo "Error: could not rename '$SW' -> '$SW.moved'"; exit 1; }; }
    6273
    6374mkdir -p $SW || { echo "Error: cannot create tempdir: $SW" >> $LOG;  exit 1; }
Note: See TracChangeset for help on using the changeset viewer.