Index: Makefile =================================================================== --- Makefile (revision 32634) +++ Makefile (revision 32635) @@ -8,8 +8,6 @@ cd propedit && $(MAKE) all && $(MAKE) test cd remote && $(MAKE) all && $(MAKE) test cd drc_pstk_hbrk && $(MAKE) all && $(MAKE) test -# This uses make instead of $(MAKE) on purpose as a "portbale" -j1 to work aroudn GNU make - cd librnd && make all && make test # cd gsch2pcb-rnd && $(MAKE) all && $(MAKE) test cd drc_query && $(MAKE) test cd query && $(MAKE) test @@ -28,7 +26,6 @@ cd propedit && $(MAKE) clean cd remote && $(MAKE) clean cd drc_pstk_hbrk && $(MAKE) clean - cd librnd && $(MAKE) clean # cd gsch2pcb-rnd && $(MAKE) clean cd drc_query && $(MAKE) clean cd query && $(MAKE) clean