Changeset 9de07dd in git


Ignore:
Timestamp:
Jul 30, 2014, 1:42:44 PM (10 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '8c6038b526213d378981739e978a9f7b485dab94')
Children:
3d4794b3c8b67d8017878ed0e1100daf968b617d
Parents:
e6f4c664f288908426da693a1f2d3efceebb7cbc
git-author:
Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-07-30 13:42:44+02:00
git-committer:
Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-07-30 13:56:52+02:00
Message:
Doxy creates no random directory

NOTE: doxy will clean the output directory now if it already exists
File:
1 edited

Legend:

Unmodified
Added
Removed
  • doxy

    re6f4c66 r9de07dd  
    6363INPUTTXT=`echo "$INPUT" | sed -e 's@[ :]@_@g' -e 's@[\\\/]@__@g'`
    6464
    65 OUTPUT=`mktemp -d -q "./DOXY.$INPUTTXT.XXXXXX"`
    66 if [ $? -ne 0 ]; then
    67     echo "$0: Can't create temp dir name, exiting..."
    68     exit 1
     65OUTPUT="./DOXY.$INPUTTXT"
     66# `mktemp -d -q "./DOXY.$INPUTTXT.XXX"`
     67#if [ $? -ne 0 ]; then
     68#    echo "$0: Can't create temp dir name, exiting..."
     69#    exit 1
     70#fi
     71
     72if [ -d "$OUTPUT" ]; then
     73    echo "Directory '$OUTPUT' exists! Deleting..."
     74    rm -Rf "$OUTPUT/*"
     75else
     76    mkdir -p "$OUTPUT/"
    6977fi
    7078
Note: See TracChangeset for help on using the changeset viewer.