diff options
-rw-r--r-- | Makefile | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Makefile b/Makefile index de2aca4778e11..469a74f376ebf 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.43 1995/03/06 13:32:58 se Exp $ +# $Id: Makefile,v 1.44 1995/03/14 21:32:46 roberto Exp $ # # Make command line options: # -DCLOBBER will remove /usr/include and MOST of /usr/lib @@ -17,6 +17,11 @@ # Put initial settings here. SUBDIR= +# do include first. +.if exists(include) +SUBDIR+= include +.endif + .if exists(bin) SUBDIR+= bin .endif @@ -29,9 +34,6 @@ SUBDIR+= games .if exists(gnu) SUBDIR+= gnu .endif -.if exists(include) -SUBDIR+= include -.endif .if exists(lib) SUBDIR+= lib .endif |