Skip to content

GitLab

Let plain ‘make’ work even not GNU Make 

* Makefile.in (top_distclean): Clean makefile as well as Makefile.
* configure.ac: If not using plain ‘make’, create a makefile
so that plain ‘make’ simply calls $(MAKE).
1 job for master in 50 minutes and 10 seconds (queued for 3 seconds)
6fa8d3c8
No related merge requests found.
Status Job ID Name Coverage
  Test
passed #1494
test-all

00:50:10