Changeset c3735b in git

Timestamp:

Oct 15, 2007, 2:07:39 PM (17 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

a286b5a5eb105aaa3e8ba868a09e1049f546dacd

Parents:

c75393101c9ba92ffc97cbfe948de627e4bbceda

Message:

*hannes: no-bison patch


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

File:

• factory/GNUmakefile.in (modified) (2 diffs)

factory/GNUmakefile.in

@@ -1 +1 @@
 # @configure_input@
-# $Id: GNUmakefile.in,v 1.49 2007-08-03 11:32:04 Singular Exp $
+# $Id: GNUmakefile.in,v 1.50 2007-10-15 12:07:39 Singular Exp $
 
 #
@@ -470 +470 @@
 # note that this is a non-source file which is distributed!
 $(srcdir)/readcf.cc: readcf.y
-                $(BISON) $< -o $@
+                @if test -r $(srcdir)/readcf.cc; then \
+                        touch $(srcdir)/readcf.cc;\
+                else \
+                        $(BISON) $< -o $@ \;
+                fi
 
 # note that these are non-source file which are distributed!