Changeset cddf28 in git

Timestamp:

Jul 9, 2010, 3:31:01 PM (13 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

d8431c2b73868cc8fc20b9141cf9c891ef7b522b

Parents:

07a5f8d7b7093c5094a5a44b2e3b77422b791e9d

Message:

tr 241/ par. build of factory

git-svn-id: file:///usr/local/Singular/svn/trunk@12966 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• factory/bin/makeheader (modified) (3 diffs)

factory/bin/makeheader

@@ -61 +61 @@
 
 infile="$1"
-outfile="$2"
+outfile="makeheader.$$"
+final_outfile="$2"
 
 # get basename of $infile
@@ -82 +83 @@
 fi
 
-echo "/* $outfile automatically generated by makeheader from $infile */" > "$outfile"
+echo "/* $final_outfile automatically generated by makeheader from $infile */" > "$outfile"
 
 # scan through template
@@ -141 +142 @@
 
 done < "$infile" >> "$outfile"
+mv "$outfile" "$final_outfile"