Changeset cddf28 in git for factory/bin/makeheader

Timestamp:

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

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'b324714bf5073469800caef737deba1366fbd81f')

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"