Changeset e8d257 in git for omalloc/makeheader

Timestamp:

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

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

07a5f8d7b7093c5094a5a44b2e3b77422b791e9d

Parents:

45945a262d8ca4e4d859a9967db621f41ed4c0b6

Message:

tr 241/ par. build of omalloc

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

File:

• omalloc/makeheader (modified) (3 diffs)

omalloc/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"
 echo "#ifndef OMALLOC_H" >> "$outfile"
 echo "#define OMALLOC_H" >> "$outfile"
@@ -144 +145 @@
 
 done < "$infile" >> "$outfile"
+mv $outfile $final_outfile