diff options
| author | rws <empty> | 1988-02-11 15:21:27 +0000 |
|---|---|---|
| committer | rws <empty> | 1988-02-11 15:21:27 +0000 |
| commit | 3aed1931d949eaea4a40ed1a808d0bdabdea20ef (patch) | |
| tree | cf7d49f126ba6ff7f641a035d758208c851467d7 /xc/Imakefile | |
| parent | 1308f25b58e8dd114db22f025ba3866473c0aca0 (diff) | |
World
Diffstat (limited to 'xc/Imakefile')
| -rw-r--r-- | xc/Imakefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/xc/Imakefile b/xc/Imakefile index d895c211b..8daa33bda 100644 --- a/xc/Imakefile +++ b/xc/Imakefile @@ -63,3 +63,11 @@ Makefile:: $(IMAKE) $(IMAKE): @echo "making $(IMAKESRC)"; \ cd $(IMAKESRC); $(MAKE) + +# don't name your log file make.log when you run this ... +World: + $(MAKE) Makefile + $(MAKE) Makefiles + $(MAKE) clean + $(MAKE) depend + $(MAKE) -k |