Changeset 9d235d in git for Singular/flexer.sh

Timestamp:

Jan 12, 2005, 2:44:00 PM (19 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

c4fbd4538bc27fdf8bf66e9e884a0b8998d546c4

Parents:

ec4fe368ecd8f8d1b9f4d4dd5c2eed36ac1efdfb

Message:

+ no tmp file any more


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

File:

• Singular/flexer.sh (modified) (1 diff)

Singular/flexer.sh

@@ -49 +49 @@
     if [ -r $file2 ];
         then
-        file3=`echo $file2|sed -e "s/\$/.tmp/"`
-        cp $file2 $file3
-        cat $file3
+#       file3=`echo $file2|sed -e "s/\$/.tmp/"`
+#       cp $file2 $file3
+#       cat $file3
+        cat $file2
     else
         #echo "file does not exist"