diff options
author | rws <empty> | 1988-02-21 10:22:56 +0000 |
---|---|---|
committer | rws <empty> | 1988-02-21 10:22:56 +0000 |
commit | b6b963e8a92eb4e009e099d97b916c59154b9502 (patch) | |
tree | 15323a441260067d80074503eafdfbc0b48d9bf1 /xc/Imakefile | |
parent | b1a2514826ed1ba53f6b0315c56d7a242fb54471 (diff) |
better World
Diffstat (limited to 'xc/Imakefile')
-rw-r--r-- | xc/Imakefile | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/xc/Imakefile b/xc/Imakefile index 1682059c6..37c96754c 100644 --- a/xc/Imakefile +++ b/xc/Imakefile @@ -1,8 +1,10 @@ #define IHaveSubdirs #define PassCDebugFlags + WORLDOPTS = -k + #if MakeContributed -CONTRIBDIRS = $(CONTRIBSRC) + CONTRIBDIRS = $(CONTRIBSRC) #endif # @@ -48,13 +50,12 @@ install:: -mkdir $(UWMDIR) -mkdir $(MANDIR) -World:: $(IMAKE) - # don't name your log file make.log when you run this ... World:: + cd $(IMAKESRC); $(MAKE) clean; $(MAKE) -$(MV) Makefile Makefile.bak $(MAKE) -f Makefile.bak Makefile $(MAKE) Makefiles $(MAKE) clean $(MAKE) depend - $(MAKE) -k + $(MAKE) $(WORLDOPTS) |