fix 'make dist', works now (besides ParadisEO).
This commit is contained in:
parent
de69e235f4
commit
5150bd4888
12 changed files with 79 additions and 85 deletions
|
|
@ -5,13 +5,3 @@
|
|||
###############################################################################
|
||||
|
||||
SUBDIRS = mastermind gpsymreg
|
||||
|
||||
###############################################################################
|
||||
|
||||
all:
|
||||
for i in $(SUBDIRS); do cd $$i && $(MAKE) all; cd ..; done
|
||||
|
||||
clean:
|
||||
for i in $(SUBDIRS); do cd $$i && $(MAKE) clean; cd ..; done
|
||||
|
||||
###############################################################################
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue