-
Martin Stjernholm authored
no longer remakes pike if a $(BUILDDIR)/pike exists and is executable. Rev: Makefile:1.19
Martin Stjernholm authoredno longer remakes pike if a $(BUILDDIR)/pike exists and is executable. Rev: Makefile:1.19
no longer remakes pike if a $(BUILDDIR)/pike exists and is executable. Rev: Makefile:1.19
no longer remakes pike if a $(BUILDDIR)/pike exists and is executable. Rev: Makefile:1.19